[SeaBIOS] [PATCH] add acpi pmtimer support

[Kevin O'Connor]

On Mon, Aug 13, 2012 at 03:04:10PM +0200, Gerd Hoffmann wrote:
> This patch makes seabios use the acpi pmtimer instead of tsc for
> timekeeping.  The pmtimer has a fixed frequency and doesn't need
> calibration, thus it doesn't suffer from calibration errors due to a
> loaded host machine.

It looks okay to me.  It'd be nice to have a CONFIG_PMTIMER for it,
but it can be added on top.

-Kevin