[coreboot-gerrit] Patch set updated for coreboot: 7bb29d7 cpu/amd/agesa/Kconfig: Only send one startup IPI for AMD AGESA processors