kernel/include/config/XGENE_PMU