[coreboot-gerrit] Change in coreboot[master]: cpu/x86/{mp_init.c, sipi_vector.S}: Fix SIPI vector cpu_info