[coreboot-gerrit] Patch set updated for coreboot: 9da7d26 x86: add cache-as-ram migration option