# CONFIG_WILCO_EC_EVENTS is not set