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