Patch merged into coreboot/master: a65378e hpet: common ACPI generation

the following patch was just integrated into master:
commit a65378e809b60e18eb8b1c2f54c30eff84b3f7f3
Author: Patrick Georgi 
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

See http://review.coreboot.org/1562 for details.

-gerrit