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