CONFIG_ARM_CCI_PMU (not configurable)

configname: CONFIG_ARM_CCI_PMU

Linux Kernel Configuration
└─>Device Drivers
└─>Bus devices
└─>ARM_CCI_PMU
In linux kernel since version 4.1 (release Date: 2015-06-21)  
selects
CONFIG_ARM_CCI