How to get a steady(ish) 12v output from a varying input voltage
There are wide input range picoPSUs available, e.g. the picoPSU-120-WI-25 supports up to 25V input voltage. Why don't you use one of these?