When would the PXE option be used when repairing a PC?