Patch merged into coreboot/master: de15d39 hp/dl145_g1: Adding ACPI support

the following patch was just integrated into master:
commit de15d39d6936669b2f0b1c77fde29c8475845571
Author: Oskar Enoksson 
Date:   Sat Feb 8 00:17:21 2014 +0100

hp/dl145_g1: Adding ACPI support

Basic ACPI support for this old platform. Created by copying and
    tweaking similar motherboard ACPI implementations in coreboot.
    Works reasonably well under Linux, providing HPET-timers
    and more under linux (tested under OpenSUSE 12.2 kernel 3.4.63-2.44).
    Not tested under Windows.

Change-Id: I69431be962a0d272db398ecf4ac9f0249de8ebab
    Signed-off-by: Oskar Enoksson

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

-gerrit