How to update the list of known machines in the PXE Manager