Re: [SeaBIOS] [PATCH]: enable USE_PLATFORM_CLOCK bit in FADT flags

[Gleb Natapov]

On Thu, Jul 19, 2012 at 08:44:07PM -0400, Kevin O'Connor wrote:
> On Tue, Jul 17, 2012 at 02:18:00PM -0300, Marcelo Tosatti wrote:
> > Enable bit 15 (USE_PLATFORM_CLOCK) of FADT flags field so that
> > older Windows guests do not make use of the TSC for timestamping.
>
> I fixed up and committed this patch.  But after I committed it, I
> realized it reverted Gleb's "Drop FIX_RTC flag from FADT" patch
> (c7be281b).  Gleb, if you can you confirm c7be281b is still valid I'll
> put it back in.

It also reverts 20fcf9b. They are both still valid. Marcelo what source
tree the patch was against?