# CONFIG_RTC_DRV_EP93XX is not set