[coreboot-gerrit] Change in coreboot[master]: {soc/amd,sb/amd/hudson}: Fix generating the ACPI mcfg