# CONFIG_INTEL_PMC_CORE is not set
