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