[coreboot-gerrit] Patch merged into coreboot/master: Kconfig: Show DEBUG_BOOT_STATE in the Debug menu

the following patch was just integrated into master:
commit fc04f9b5ee911bb622d5acbad5056b77af4e4ec7
Author: Jonathan Neuschäfer 
Date:   Wed Jun 29 21:59:32 2016 +0200

Kconfig: Show DEBUG_BOOT_STATE in the Debug menu

Change-Id: I22441ee0d19aa1b2e2f40278ce30092c86e0adc9
    Signed-off-by: Jonathan Neuschäfer 
    Reviewed-on: https://review.coreboot.org/15522
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich 
    Reviewed-by: Aaron Durbin

See https://review.coreboot.org/15522 for details.

-gerrit