# CONFIG_RTC_DRV_MXC_V2 is not set