Fix for #24

Handle vmlinuz.efi if detected by grep-ing the ISO files for a match of the keyword vmlinuz.efi which should be present in the menu files of syslinux/grub if used.