[coreboot-gerrit] Patch set updated for coreboot: de300ad sandybridge: Kill CONFIG_HAVE_MRC_CACHE