[syslinux] Pxechn.C32 working under Uefi

[BALATON Zoltan]

On Fri, 18 Sep 2015, Gene Cumm via Syslinux wrote:
> 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.

Why are there binaries of non-working components in the distribution? This 
is confusing for us not knowing syslinux so well. Is there a list of files 
somewhere that are known not to work despite being distributed? Is there a 
way to not include these binaries to avoid confusion?

Regards,
BALATON Zoltan