Switched-mode power supplies with 12 VDC output voltage