Re: [coreboot] Patch set updated for coreboot: e0964bb Use broadcast SIPI to startup siblings