Wed Mar 20 22:33:35 UTC 2013
EFI/BOOT/*: Added.
I am hearing that more recent versions of UEFI *do* support the ISO9660
filesystem, and that just putting this directory on the ISO image will
make the disc bootable. I do not have a real UEFI machine, but I made an
ISO (instructions in isolinux/README.TXT) and it boots here on VirtualBox.