# CONFIG_RTC_DRV_SA1100 is not set