On Sep 18, 2015 7:07 AM, "Ady via Syslinux" <syslinux at zytor.com> wrote: > I doubt there has been any update to pxechn.c32 for UEFI support. Maybe > Gene can confirm. No. pxechn.c32 is BIOS only for now. --Gene