[SeaBIOS] [PATCH] Probe HPET existence

[Kevin O'Connor]

On Mon, Aug 29, 2011 at 05:50:10PM +0200, Jan Kiszka wrote:
> QEMU does not provide a HPET block if it was configured with -no-hpet,
> other machines SeaBIOS runs on may lack a HPET as well. Perform basic
> checks the ID register for a reasonable vendor ID and a clock period
> within the valid range, do not build the HPET table if that fails.

It looks okay to me.

BTW, any particular reason to use 0x05F5E100 instead of 100000000?

-Kevin