[coreboot] Patch set updated: d3a81c2 Implemented functions for writing most of the ACPI tables