[master 1/1] Make 64-bit kernel on 32-bit firmware work for x86 efi machines