why is CONFIG_RTC not set?