DCDC Wandler (mi galvanischer Trennung) für 12 V / 12 V gibt es reichlich. 15 V gibt es auch, ist aber schon seltener, 7,5 V sind da schon eher die Ausnahme - da müßte man ggf. einen Wandler auf 9 oder 12 V nehmen und dann einen Linearregler dahinter.