Re: why is CONFIG_RTC not set?