Power supplies with 40 VDC output voltage