Здравствуйте!
Главное в этом источнике - добиться максимального КПД.
95% реально получить?
12 вольт - стабилизированное, с выхода модуля питания.
5 вольт - стабильность неважна, дальше будет еще один понижающий преобразователь (такое вот извращение

)
Частоту хотелось бы повыше, под 500 килогерц, чтобы получился маленький дроссель. Есть смысл?