[coreboot] Patch set updated for coreboot: f9753ed ACPI: Add function for writing _CST tables