diff --git a/debian/changelog b/debian/changelog
index 01839d057..84149677a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -19,6 +19,10 @@ linux (4.19.16-2) UNRELEASED; urgency=medium
   * [i386] debian/control: Fix cross-compiler build-dependency
   * debian/README.source: Document how to run kconfigeditor2
 
+  [ Marcin Juszkiewicz ]
+  * [arm64] enable ARM_CCI_PMU so ARM_CCI400_PMU and ARM_CCI5xx_PMU options
+    get really enabled.
+
  -- Luca Boccassi <bluca@debian.org>  Fri, 18 Jan 2019 19:09:06 +0000
 
 linux (4.19.16-1) unstable; urgency=medium
diff --git a/debian/config/arm64/config b/debian/config/arm64/config
index 9c8f3d01b..0d3daa8a3 100644
--- a/debian/config/arm64/config
+++ b/debian/config/arm64/config
@@ -740,6 +740,7 @@ CONFIG_HOTPLUG_PCI_PCIE=y
 ##
 ## file: drivers/perf/Kconfig
 ##
+CONFIG_ARM_CCI_PMU=y
 CONFIG_ARM_CCI400_PMU=y
 CONFIG_ARM_CCI5xx_PMU=y
 CONFIG_ARM_CCN=y