Yep, die Spannungswandler in den TC Boards sind nicht für Embedded-Akkubetrieb entworfen, sondern um das Ding direkt am externen Netzteil zu betreiben (Mediaapplications, kleiner Server etc.).
Für Roboter mit 12 V Bleiakku ist es sinnvoller, sich ein "normales" Epia anzuschaffen und nen ATX-Schaltwandler (z.B. von iTuner) zu verwenden... Ist ja auch preislich kein Nachteil.. der Wandler kostet so um die 45 Euro.. der Mehrpreis eines TC Boards bewegt sich zwischen 50 und 70 Euro...