kernel: add missing CONFIG_ARM_CCI400_PMU config option