# CONFIG_SENSORS_W83793 is not set
