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