[coreboot-gerrit] Patch merged into coreboot/master: c66f1cb Include boot_cpu.c for romstage builds