[coreboot-gerrit] New patch to review for coreboot: de15d39 hp/dl145_g1: Adding ACPI support