d82972f
Generate EFI-bootable CDs on x86 and x86_64. Require a newer version of genisoimage that supports EFI booting, and use it in mk-images.x86 when efiboot.img exists.