# CONFIG_WILCO_EC_TELEMETRY is not set