Comment # 5 on bug 1226727 from Fabian Vogt

Which system are you installing on? 32bit EFI on 64bit hardware is quite rare.

(In reply to Benjamin Brunner from comment #4)
> 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?

FWICT it's supported by Tumbleweed so I don't see a reason to exclude it from
MicroOS. It's likely just missing from the DVD, I made
https://build.opensuse.org/request/show/1184289.