Support for EFI Boot on ISO images

This needs a custom live-build version supporting the --efi-boot option.