x86: bootm: Support booting a 64-bit raw kernel