For a uefi boot from cdrom or usb flash drive the system must detect the uefi bits on the media or it won’t boot. That is why I can’t boot puppy linux via the uefi menu.
Yeah, that’s definitely tricky. I haven’t fully understood all this yet. I wonder if there is an UEFI capable ISO file from iPXE that we could try. Seams like someone has thought about this before us: http://lists.ipxe.org/pipermail/ipxe-devel/2015-April/004095.html (shall I try adding the patch and building an EFI ISO)?