# CONFIG_SENSORS_LENOVO_EC is not set
