Miniaturized, high-frequency DC-DC power conversion for embedded applications