[coreboot] Patch set updated for coreboot: 07d0279 Add an option to keep the ROM cached after romstage