Comment # 4 on bug 1226727 from Benjamin Brunner

This is not really a grub-bug either, after grub2-i386-efi is built but not
included in the MicroOS repository.
AFAIK, 32bit-EFI is also not supported for MicroOS.

Fabian, could you confirm, please?