x86_64 kernel can be loaded by unpatched grub legacy (wow, this got complicated)
originally linked kernel is saved for debugging