[coreboot-gerrit] Patch merged into coreboot/master: f9d7252 lint: simplify board-status check

the following patch was just integrated into master:
commit f9d7252a8d869cfda08c872b49d3ce5d7c27b083
Author: Patrick Georgi 
Date:   Sat Aug 16 22:50:57 2014 +0200

lint: simplify board-status check

git can do lots of things by itself, no need to parse
    its output and redo that.

Change-Id: Id2cdd2ea8d34c1ba2b0abddc88e1f3260d74f47d
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/6798
    Tested-by: build bot (Jenkins)
    Reviewed-by: Vladimir Serbinenko 
    Reviewed-by: Paul Menzel

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

-gerrit