[coreboot-gerrit] Patch merged into coreboot/master: f7d8f09 amd/agesa, cimx: Rename ACPI OS detection methods