# CONFIG_RTC_DRV_WILCO_EC is not set