[coreboot] Patch set updated for coreboot: 8dd1dfe Rework ACPI CST table generation