Die Lösung gefunden - stellte sich heraus, dass EFI nur 32-Bit-Bootloader booten konnte. Durch die Aktualisierung von Version F1 auf F3 konnte das 64-Bit-Verfahren gestartet werden.
das Bios-Update, das ich verwendet habe:
http://b2b.gigabyte.com/Embedded-System/DE-BXBT-3825-rev-10#support-dl https://www.gigabytenordic.com/update-bios-gigabyte-brix/
Ich musste es blind machen, weil diese DOS-Bootdisk nicht in der Lage war, HDMI zu fahren. Also einfach das resultierende Laufwerk booten, Flash eingeben, Daumen drücken und warten. Nach einer Weile startete es automatisch neu und zeigte die Version F3. Dann konnte ich das AGL-Image ohne Probleme booten.