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