[coreboot] Patch merged into coreboot/master: f878bc4 AMD Mahogany Fam10 ACPI table fixes.