diff --git a/target/linux/generic/config-4.1 b/target/linux/generic/config-4.1
index 5239c86b5a..168748734f 100644
--- a/target/linux/generic/config-4.1
+++ b/target/linux/generic/config-4.1
@@ -228,6 +228,7 @@ CONFIG_ARCH_FLATMEM_ENABLE=y
 # CONFIG_ARM_ARCH_TIMER is not set
 # CONFIG_ARM_AT91_ETHER is not set
 # CONFIG_ARM_CCI is not set
+# CONFIG_ARM_CCI400_PMU is not set
 # CONFIG_ARM_CCN is not set
 # CONFIG_ARM_CRYPTO is not set
 CONFIG_ARM_CPU_TOPOLOGY=y