[OpenBIOS] Re: Possible bug in PMU RTC