[coreboot] Patch merged into coreboot/master: 222fd1b Revert "Use broadcast SIPI to startup siblings"