# CONFIG_VIPERBOARD_ADC is not set