[coreboot-gerrit] Patch set updated for coreboot: 177b6e9 Provide sane Kconfig default for cmos.default.