[coreboot-gerrit] New patch to review for coreboot: b086132 X86: make the SIPI num_starts a config variable