This uncovers a bug where the bootloader may corrupt the initrd on x64. This is probably related to our kernel64 hack..