This bug was fixed in the package grub2 - 2.02~beta2-9ubuntu1.11
--------------- grub2 (2.02~beta2-9ubuntu1.11) trusty-proposed; urgency=medium
* Add support for running a 64-bit Linux kernel on a 32-bit EFI. (LP: #1591818)
-- Shih-Yuan Lee (FourDollars) <email address hidden> Wed, 08 Jun 2016 13:53:40 +0800
This bug was fixed in the package grub2 - 2.02~beta2- 9ubuntu1. 11
--------------- 9ubuntu1. 11) trusty-proposed; urgency=medium
grub2 (2.02~beta2-
* Add support for running a 64-bit Linux kernel on a 32-bit EFI.
(LP: #1591818)
-- Shih-Yuan Lee (FourDollars) <email address hidden> Wed, 08 Jun 2016 13:53:40 +0800