# CONFIG_INTEL_PMC_IPC is not set