<!--break-->
Файл \EFI\BOOT\BOOTX64.EFI, подготовленный на загрузочном диске, AMIBIOS игнорирует. Напомним, что согласно спецификации UEFI для 64-битных платформ, по указному пути должен хранится EFI Shell, запуск которого происходит по требованию пользователя.
И все же возможность выполнить внешний EFI Shell в AMIBIOS есть! Ответ — в статье «Как примерить UEFI Boot от InsydeBIOS на AMIBIOS»
P.S. Если кому интересно, там же можно получить исполняемый код EFI Shell.
Да и исполняемый код UEFI shell есть в EDK2 (использовать лучше срез svn репозитория), и компилируется он там элементарно. Хотя там есть и prebuilt binaries тоже. Вот, например https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2/ShellBinPkg/UefiShell/X64/Shell.efi