# CONFIG_RTC is not set
