Comment 1 for bug 1876737

This problem is Ubuntu-specific, caused by that line:
https://git.launchpad.net/ubuntu/+source/grub2/tree/debian/patches/ubuntu-linuxefi.patch#n2105

That line was added by that commit:
https://git.launchpad.net/ubuntu/+source/grub2/commit/?id=6a814c759e10feafb40c3669be30aa51eb5ce39b

@cyphermox, this prohibits loading 32bit kernels under UEFI, would it be possible to revert it?
For example, before this patch, I was able to boot lubuntu-18.04-desktop-i386.iso under UEFI using https://github.com/alkisg/liveusb; after the patch, I can't.

True, the use cases for booting 32bit kernels under UEFI are limited, but is there a reason to have an Ubuntu-specific patch to block it when it works fine?