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