FYI: I'm looking at why the boot.iso image is only 34k right now ...
The bottom line here is that Fedora was/is moving away from a boot.img based boot iso -- however, EFI needs a dosfs (ie, the boot.img) ...
I've asked Jeremy to plunk the code back in :) Hopefully we'll get that in the next couple of days.