# CONFIG_GEN_RTC is not set