[coreboot-gerrit] Patch merged into coreboot/master: util/lint/kconfig_lint: Add 3 new checks

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit b7c39b2bc1a98bf9716ae6dae59099556fabfa8f
Author: Martin Roth <martinroth at google.com>
Date:   Thu Jan 14 09:04:53 2016 -0700

    util/lint/kconfig_lint: Add 3 new checks
    
    - Check that selected symbols are type bool
    - Check that selected symbols aren't created inside a choice
    - Check that symbols created inside a choice aren't created
    outside of a choice as well.
    
    Change-Id: I08963d637f8bdfb2413cfe831eafdc974d7674ab
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/12969
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


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

-gerrit