kernel/include/config/ARM_SPE_PMU