# CONFIG_TI_ADC0832 is not set