[coreboot-gerrit] Patch merged into coreboot/master: lint/kconfig_lint: Make sure all symbols have a type defined

the following patch was just integrated into master:
commit 08705f1e904288607df87eb7627178613066bd99
Author: Martin Roth 
Date:   Wed Nov 9 14:27:00 2016 -0700

lint/kconfig_lint: Make sure all symbols have a type defined

Show an error if a symbol does not have a defined type.

This caused a problem of an undefined symbol in check_defaults, so
    we just skip those symbols there as we can't verify the default pattern
    without knowing the type.

Change-Id: I28711a77962e16f6fc89789400363edd0fdd0931
    Signed-off-by: Martin Roth 
    Reviewed-on: https://review.coreboot.org/17345
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Philipp Deppenwiese 
    Reviewed-by: Patrick Georgi

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

-gerrit