[coreboot-gerrit] New patch to review for coreboot: 39835ef Add a KEEP_BOOT_COUNT Kconfig option.