That's what we've been saying since this ticket - and others like it - was filed.
It is *confirmed* to be possible to install a 32-bit UEFI GRUB and install and boot a 64-bit kernel. It's been done multiple times, right now by manually compiling and using a 32-bit UEFI GRUB bootloader. I can't speak to the technical reasons *why* it works, but it absolutely, positively, definitely does work.
That's what we've been saying since this ticket - and others like it - was filed.
It is *confirmed* to be possible to install a 32-bit UEFI GRUB and install and boot a 64-bit kernel. It's been done multiple times, right now by manually compiling and using a 32-bit UEFI GRUB bootloader. I can't speak to the technical reasons *why* it works, but it absolutely, positively, definitely does work.