[coreboot-gerrit] Patch merged into coreboot/master: kconfig_lint: More updates for excluded files

the following patch was just integrated into master:
commit ab273d3f16402a5a6827d12f4c68fa4d42d78ce6
Author: Martin Roth 
Date:   Wed Nov 23 17:28:00 2016 -0700

kconfig_lint: More updates for excluded files

- All of the symbols are in the .config, so if .config is include in
    the search all of the symbols are always found.
    - There are now some Kconfig symbols in the Documentation directory,
    so that needs to be excluded.
    - 3rdparty has lots of Kconfig symbols that are unrelated to what
    is being searched for.

Change-Id: I0ff56d0a0916338a8b94f5210b8e0b3be5194f41
    Signed-off-by: Martin Roth 
    Reviewed-on: https://review.coreboot.org/17588
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

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

-gerrit