This bug was fixed in the package base-installer - 1.122ubuntu7.3
--------------- base-installer (1.122ubuntu7.3) precise-proposed; urgency=low
* Install the signed kernels on any 64bit UEFI machine. (LP: #1184297) -- Stephane Graber <email address hidden> Fri, 19 Jul 2013 14:10:26 -0400
This bug was fixed in the package base-installer - 1.122ubuntu7.3
---------------
base-installer (1.122ubuntu7.3) precise-proposed; urgency=low
* Install the signed kernels on any 64bit UEFI machine. (LP: #1184297)
-- Stephane Graber <email address hidden> Fri, 19 Jul 2013 14:10:26 -0400