Patch merged into coreboot/master: 2872f4e AMD Fam14 boards: Unify `acpi_table.c` by mainly using Inagua’s one