[coreboot-gerrit] Patch merged into coreboot/master: kconfig_lint: merge 'git grep' and 'grep' exclude dir and files

the following patch was just integrated into master:
commit 819e67242fa632f465f002396dc7adaec9418ab3
Author: Martin Roth 
Date:   Mon Jan 25 16:38:05 2016 -0700

kconfig_lint: merge 'git grep' and 'grep' exclude dir and files

The code had originally been using standard grep to look through the
    coreboot tree for Kconfig symbols.  When this was switched to git grep,
    the --exclude-dir options didn't work, and nothing was added to exclude
    the directories that shouldn't be searched for symbols.  This resulted
    in invalid warnings as it searched directories that had Kconfig symbols
    for other projects.

This merges the exclusion list for both the regular and git versions
    of grep for consistent behavior.

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

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

-gerrit