# CONFIG_SENSORS_DME1737 is not set
