# CONFIG_TI_ADC12138 is not set