# CONFIG_WILCO_EC is not set
