[coreboot-gerrit] Patch merged into coreboot/master: 933c332 Make POST device configurable.

the following patch was just integrated into master:
commit 933c332472e5883331496cf098a80e159e03de5a
Author: Idwer Vollering 
Date:   Tue Mar 11 15:36:21 2014 +0000

Make POST device configurable.

Change-Id: If92b50ab3888518228d2d3b76f5c50c4aef968dd
    Signed-off-by: Idwer Vollering

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

-gerrit