# CONFIG_FUJITSU_UNCORE_PMU is not set
