[coreboot] Patch merged into coreboot/master: ddc09a5 Add an option to keep the ROM cached after romstage