diff --git a/debian/changelog b/debian/changelog
index 596bdac25..c8e733abd 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,9 @@ linux (4.16-1~exp1) UNRELEASED; urgency=medium
 
   [ Jeremy Stanley ]
   * [x86] Power management support for GPD Pocket UMPC systems
+    - Enable CONFIG_REGULATOR (needed to build the already enabled
+      CONFIG_INTEL_CHT_INT33FE module which provides support for the ACPI
+      interface)
     - Enable CONFIG_TYPEC_FUSB302 as a module (provides support for the USB
       type-C interface) along with its dependencies CONFIG_TYPEC=m and
       CONFIG_TYPEC_TCPM=m
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index 8d50da112..5f0c0777a 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -1423,6 +1423,11 @@ CONFIG_INTEL_RAPL=m
 ##
 CONFIG_PTP_1588_CLOCK_PCH=m
 
+##
+## file: drivers/regulator/Kconfig
+##
+CONFIG_REGULATOR=y
+
 ##
 ## file: drivers/rtc/Kconfig
 ##