Setting Up an UEFI PXE Server on Linux 2020