add UEFI boot support to grml2iso