Нашел решение - оказывается, EFI смог загрузить только 32-битные загрузчики. Обновление с версии F1 до F3 позволило загрузить 64-битную версию.
обновление BIOS, которое я использовал:
http://b2b.gigabyte.com/Embedded-System/GB-BXBT-3825-rev-10#support-dl https://www.gigabytenordic.com/update-bios-gigabyte-brix/
Мне пришлось делать это вслепую, потому что созданный им загрузочный диск dos не мог управлять hdmi, поэтому просто загрузите получившийся диск, наберите flash, скрестите пальцы и подождите. через некоторое время он автоматически перезагрузился и показал версию F3. Тогда я смог загрузить образ AGL без проблем.