[coreboot-gerrit] Patch set updated for coreboot: b185ae4 google/butterfly: Provide cmos.default