Does anyone know what kind of circuit would be able to convert 12VDC (e.g. from a small lead acid gel. cell battery) to 20VDC (which my Lenovo E470's DC charging voltage)? The E470 is my work computer and does not have an easily swappable battery, so I wanted to experiment with some kind of external charging system I can use when working remote at sites without accessible outlets.