Power supplies with 12 VDC output voltage