[coreboot-gerrit] Patch merged into coreboot/master: lint: Add a check for the executable bit being set on source code

the following patch was just integrated into master:
commit 721ee01bb0668d2ea207048a11c339313ed248f5
Author: Martin Roth 
Date:   Mon Jan 25 15:12:21 2016 -0700

lint: Add a check for the executable bit being set on source code

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

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

-gerrit