# CONFIG_ARM_CCI_PMU is not set