[coreboot-gerrit] Patch set updated for coreboot: dcab843 X86 Kconfig: Make the MAX_REBOOT_CNT selectable in X86_BOOTBLOCK_NORMAL mode.