Cómo hacer un disco usb de arranque UEFI desde una ISO de inicio de bios

Supongamos que tiene una image iso que contiene una partición de arranque de BIOS. Puede escribir esta image en un disco usb

En Linux, podrías hacer esto por ejemplo con

dd if=pmagic_2013_02_28.iso of/dev/sdc1 

Su disco USB ahora se puede iniciar en computadoras con BIOS. Sin embargo, en mi sistema UEFI, el disco usb no arranca. ¿Cómo se puede hacer que sea EFI de arranque?

Se requiere algo de magia de El Torito al crear la image iso. Mira esto

Para que la image sea (U) EFI de arranque, necesita tener una partición VFAT32 primaria que contenga el file de image initramfs para /efi/boot/bootx64.efi bajo la ruta /efi/boot/bootx64.efi .