# CONFIG_RTC is not set