But we only call the wait_for_pxe function once we're done with hardware-install, aren't we?