Una vez que tengamos el pendrive funcionando correctamente [http://www.opengnsys.es/wiki/macDevelUSB] , copiaremos su contenido a la particion efi del equipo
sudo mkdir /Volumes/efi
sudo mount -t msdos /dev/disk0s1 /Volumes/efi/
sudo bless --folder=/Volumes/efi --file=/Volumes/efi/efi/boot/bootx64.efi --setboot