# CONFIG_MFD_INTEL_PMC_BXT is not set