[coreboot-gerrit] New patch to review for coreboot: c7f7862 sandybridge: Kill CONFIG_HAVE_MRC_CACHE