48 to 12 dc/dc power supply