[coreboot-gerrit] Patch set updated for coreboot: 4dd83bb cpu/x86/lapic/lapic_cpu_init.c: Remove double startup IPI for AMD AGESA processors