ChangeLog for: 2013-03-20 23:33:35

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.