[coreboot-gerrit] Patch set updated for coreboot: 7bf22d8 big: Create a nyan_big mainboard which is a copy of nyan.