La documentation technique et administrative
syslinux ne supportant que partiellement les firmwares UEFI, on utilise iPXE, la doc est très bien faite.
https://wiki.archlinux.org/index.php/syslinux#Limitations_of_UEFI_Syslinux
La conf se trouve dans /srv/http/iPXE.