Entweder man transformiert vorher etwas hoch, oder (was ich für wahrscheinlicher halte) man arbeitet DC-seitig mit einem Hochsetzsteller.
Eure Diskussion ist eigentlich obsolet, ich schrieb doch in #8 schon:
Der Onboardcharger ist ein gesteuertes Netzteil mit Gleichspannungsausgang
Bei einem Schaltnetzteil wie heute üblich kann die Ausgangsspannung fast beliebig festgelegt werden.
In diesem Fall sind es halt eine variable und geregelte Spannung, ein variabler und geregelter Strom, gesteuert
anhand der Ladekennlinie des Akkus und mit einer Leistungsdeckelung auf 11kW.
Jedes vernünftige Modellbauladegerfunktioniert genauso, auch be denen kann die Ausgangsspannung höher sein als die Versorgungsspannung.