42 vdc power supply