Upon setting up a new MinnowBoard Max with a stock Debian install, I get the error Boot Failed. EFI Misc Device
at boot. Searching all over the nets yield little help.
I can start the system fine by waiting for the EFI Shell to start and invoking the grub EFI binary myself: EFI/debian/grubx64.efi
I finally did find a solution, but I'm not totally happy with it, and I'm open to advice on better ways of handling it.