> pxelinux.0 apparently doesn't work with uEFI.
That's supposed to be normal.
The "(l)pxelinux.0" bootloaders are capable of netbooting
BIOS-based clients. Hardware using UEFI has to use the adequate
"syslinux.efi" (for EFI IA32 or for EFI X64, respectively)
instead of using "(l)pxelinux.0".
Note that UEFI is normally not called "BIOS", but rather is considered
to be the successor firmware of old x86 BIOS.
Have a nice day :)