Fix Ubuntu 12.04.2 amd64 install.
Fix Ubuntu 12.04.2 amd64 install.

For reasons I don't understand, Ubuntu changed
the name of the kernel on the 12.04.2 amd64
boot CD from vmlinuz to vmlinuz.efi.  Add a
special case for it.

Signed-off-by: Chris Lalancette <281cd07d7578d97c83271fbbf2faddb83ab3791c@gmail.com>

mgagne/oz,ndonegan/oz,cernops/oz,NeilBryant/oz,NeilBryant/oz,cernops/oz,moofrank/oz,mgagne/oz,imcleod/oz,clalancette/oz,nullr0ute/oz,moofrank/oz,imcleod/oz,clalancette/oz,ndonegan/oz,nullr0ute/oz