# CONFIG_SENSORS_ADT7411 is not set
