As #SYSLINUX and thus #PXELINUX are unmaintained syslinux.efi does not work well:
Which software should one use to boot from network into a selection menu for various operating systems running from network or local in #EFI systems?