It was never our intention to support 64bit UEFI with 32bit kernel. Just because it seemed to work, whilst having lots of things broken at runtime, was never our intention to have supported.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1876737 Title: GRUB refuses to boot a 32-bit kernel when in EFI mode To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1876737/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
