I'm currently trying to diagnose an issue I'm having with making a Syslinux EFI64 ISO and wondered if anyone has had any success with this goal. Every single EFI64 ISO I see out there uses GRUB2 EFI64. -- -Gene