# CONFIG_GEHC_PMC_ADC is not set
