Ubuntu 12.04.2 and 13.04 change kernel name from vmlinuz -> vmlinuz.efi