add UEFI boot support to grml2iso
[grml2usb.git] / debian / compat
1 7