[coreboot] Patch set updated for coreboot: 222fd1b Revert "Use broadcast SIPI to startup siblings"