Power supplies with 12 VDC rectified/smoothed output voltage