Una duda que tengo:

Si el portátil es de 15 V, ¿no andará a los poco más de 12 de la batería directamente? ¿Alguien lo ha probado?

Es de suponer que sí, ya que el margen es bajo, pero no sé si el DC-DC que lleven acabará ardiendo...

Otra posibilidad es alimentarlo por la entrada de batería, que no suelen ser de tanto voltaje, pero sólo lo he probado con alguno antiguo. No sé si ahora, con tantos contactos como traen las baterías, y tanto (presumo) circuito de control de carga y estado de la batería , andará de ese modo tan simple...

Saludos!