[coreboot-gerrit] Patch merged into coreboot/master: 40c845d lint: provide better GPL license text test

the following patch was just integrated into master:
commit 40c845d3529cfd1a58c63f2cf356388b5d76e955
Author: Patrick Georgi 
Date:   Sun Aug 10 19:32:34 2014 +0200

lint: provide better GPL license text test

Still not lint-stable due to too many open issues, but
    at least it doesn't try to touch files that aren't part
    of the repository anymore.

Change-Id: I654b15480094c7731a7d0d17fa1622a0b41ac34a
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/6584
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Edward O'Callaghan

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

-gerrit