[coreboot-gerrit] Patch merged into coreboot/master: butterfly: Make configurable MRC vs non-MRC.