Patch merged into coreboot/master: 20a9979 Drop support for BROKEN marker

the following patch was just integrated into master:
commit 20a9979ad93bed52c457dc263d0fe30872c9406c
Author: Patrick Georgi 
Date:   Tue Jan 10 19:25:23 2012 +0100

Drop support for BROKEN marker

We used to support marking boards broken. We don't need that anymore.

Change-Id: I9d21fdf22c9a8e0e69488fc7896f2a81bf629201
    Signed-off-by: Patrick Georgi

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

-gerrit