livecd-iso-to-disk produces unbootable media for EFI computers