# CONFIG_RTC_DRV_MXC is not set