[coreboot] Patch merged into coreboot/master: f9753ed ACPI: Add function for writing _CST tables