this kernel requires an x86 64 cpu