# CONFIG_GEN_RTC_X is not set
