[coreboot] Patch merged into coreboot/master: 38096d7 Rework ACPI CST table generation