I solved it. Yesterday a replacement battery for a Thinkpad 540, A, T, etc. arrived. It has a Molex 51021 connector which is not what is mentioned in the user manual linked above but apparently identical and more common. The battery is smaller than the 2032 but has the benefit of fitting better into the TinkerBoard case.