How to set up PXE boot for UEFI hardware
redhat.com