[coreboot] Patch merged into coreboot/master: 12d6024 AMD boards: ACPI DSDT: Use COREBOOT for the OEM Table ID field