Encontrou a solução - a EFI só conseguiu inicializar os bootloaders de 32 bits. a atualização da versão F1 para a F3 permitiu que ela inicializasse 64 bits.
a atualização do BIOS que usei:
Eu tive que fazê-lo cegamente porque este dos bootdisk que ele criou não era capaz de conduzir HDMI, então apenas inicialize a unidade resultante, digite flash, cruze os dedos e espere. Ele reinicializou automaticamente depois de um tempo e mostrou a versão F3. Então consegui inicializar a imagem do AGL sem problemas.