[coreboot-gerrit] New patch to review for coreboot: Fix corrupt SSDT table on multisocket AMD Family 0Fh systems