Kernel will kein 64-bit