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 <clalancette@gmail.com>