Patch merged into coreboot/master: Verify Kconfigs symbols are not zero for hex and int type symbols

the following patch was just integrated into master:
commit 46cf9f7b7a20a94a2eb9bdfb4b8fba2a8c889474
Author: Martin Roth 
Date:   Sat Jul 11 13:56:58 2015 -0600

Verify Kconfigs symbols are not zero for hex and int type symbols

For hex and int type kconfig symbols, IS_ENABLED() doesn't work. Instead
    check to make sure they're defined and not zero.  In some cases, zero
    might be a valid value, but it didn't look like zero was valid in these
    cases.

Change-Id: Ib51fb31b3babffbf25ed3ae4ed11a2dc9a4be709
    Signed-off-by: Martin Roth 
    Reviewed-on: http://review.coreboot.org/10886
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

See http://review.coreboot.org/10886 for details.

-gerrit