Easy way to get 12v DC from 32v DC bus?
this is typically handled with a "switching regulator". A "buck converter" is a type of switching regulator designed to regulate down from one voltage to another. There is any number of prebuilt modules you can find that accept 32V and regulates to 12V. Cheap ones start at a dollar and a month shipping from China, but quality costs more.