La documentation Red-Hat sur la configuration du serveur DHCP et de syslinux pour pouvoir démarrer en PXE sur une machine équipée d'un UEFI. Attention toutefois, il faut désactiver le secure boot.