[coreboot-gerrit] Patch set updated for coreboot: x86: don't create MAINBOARDDIR/romstage.inc for !ROMCC boards