Megvagyok nélküle, majd javítják. Csak a 32 bites kernel érintett.