# CONFIG_SENSORS_TMP401 is not set
