the following patch was just integrated into master:
commit a65378e809b60e18eb8b1c2f54c30eff84b3f7f3
Author: Patrick Georgi <patrick at georgi-clan.de>
Date: Fri Oct 5 21:54:38 2012 +0200
hpet: common ACPI generation
HPET's min ticks (minimum time between events to avoid
losing interrupts) is chipset specific, so move it to
Kconfig.
Via also has a special base address, so move it as well.
Apart from these (and the base address was already #defined),
the table is very uniform.
Change-Id: I848a2e2b0b16021c7ee5ba99097fa6a5886c3286
Signed-off-by: Patrick Georgi <patrick at georgi-clan.de>
See http://review.coreboot.org/1562 for details.
-gerrit