Re: [coreboot] Problem with the RTC