diff --git a/debian/changelog b/debian/changelog
index 50141cb2b..c681163b5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,8 @@ linux (4.16-1~exp1) UNRELEASED; urgency=medium
 
   [ Jeremy Stanley ]
   * [x86] Power management support for GPD Pocket UMPC systems
+    - Enable CONFIG_BATTERY_MAX17042 as a module (provides support for the
+      battery level monitor)
     - Enable CONFIG_CHARGER_BQ24190 as a module (provides support for the
       battery charger) along with its dependencies CONFIG_EXTCON=m,
       CONFIG_EXTCON_INTEL_CHT_WC=m, CONFIG_I2C_CHT_WC=m and
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index 357aee2d3..b447e77de 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -1409,6 +1409,7 @@ CONFIG_PNP=y
 ## file: drivers/power/supply/Kconfig
 ##
 CONFIG_BATTERY_SBS=m
+CONFIG_BATTERY_MAX17042=m
 CONFIG_CHARGER_BQ24190=m
 
 ##