Booting into 64-bit C kernel