[coreboot] Patch set updated for coreboot: 58a421c Use broadcast SIPI to startup siblings