grml2iso: skip --uefi option of isohybrid if ISO doesn't ship /boot/efi.img
[grml2usb.git] / grub /
drwxr-xr-x   ..
-rw-r--r-- 159956 grml.png
-rw-r--r-- 10683 splash.xpm.gz