[coreboot] Patch merged into coreboot/master: 0c18ec8 Use broadcast SIPI to startup siblings