Firmware-senoko
Senoko is the name for the battery board. It contains firmware, available at github. A separate updater is available, containing a binary blob with the latest firmware, which is also dependent on the stm32flash package. This Debian package is called firmware-senoko.