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