[coreboot-gerrit] New patch to review for coreboot: 5043314 haswell: move to mp_init library