# CONFIG_RTC_DRV_XGENE is not set
