diff --git a/debian/changelog b/debian/changelog
index 351b630cb..f269c85c8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -11,6 +11,8 @@ linux (4.15.4-2) UNRELEASED; urgency=medium
 
   [ Vagrant Cascadian ]
   * [arm64] Enable ROCKCHIP_IODOMAIN as a module, to enable PCIe reset.
+  * [arm64] Enable REGULATOR_FAN53555 as a module, enabling cpufreq to
+    work on rk3399 A72 cores.
 
  -- Uwe Kleine-König <ukleinek@debian.org>  Fri, 23 Feb 2018 13:08:33 +0100
 
diff --git a/debian/config/arm64/config b/debian/config/arm64/config
index a0d26fa29..a9977b5c6 100644
--- a/debian/config/arm64/config
+++ b/debian/config/arm64/config
@@ -775,6 +775,7 @@ CONFIG_REGULATOR_QCOM_RPM=m
 CONFIG_REGULATOR_QCOM_SMD_RPM=m
 CONFIG_REGULATOR_QCOM_SPMI=m
 CONFIG_REGULATOR_RK808=m
+CONFIG_REGULATOR_FAN53555=m
 
 ##
 ## file: drivers/remoteproc/Kconfig