[coreboot-gerrit] New patch to review for coreboot: eec88c3 Include boot_cpu.c for romstage builds