[coreboot-gerrit] Patch merged into coreboot/master: de1f890 coreboot: add caching loaded ramstage interface