[coreboot-gerrit] New patch to review for coreboot: Kconfig: Show DEBUG_BOOT_STATE in the Debug menu