A solução, que veio do Arch Linux Wiki , é que alguns EFI Firmwares, aparentemente incluindo o MinnowBoardMax Firmware, procure apenas o executável EFI de inicialização em /EFI/BOOT/BOOTX64.EFI
.
Copiar o arquivo grubx64.efi para o caminho acima corrige o problema de inicialização.