# CONFIG_RTC_DRV_IMXDI is not set