Re: [rhinstaller/lorax/pulls/16 master] Make 64-bit kernel on 32-bit firmware work for x86 efi machines