# CONFIG_RTC_DRV_CADENCE is not set