Is there an alternative to Deployment Server's PXE Server?