Configuring the DHCP server for PXE boot