Patch merged into coreboot/master: 9ef50b7 Run option ROMs in coreboot by default only if the payload is not SeaBIOS

the following patch was just integrated into master:
commit 9ef50b72a0ca9140b2c0d02fd2e903fb79ebb981
Author: Peter Stuge 
Date:   Sat Oct 27 14:17:04 2012 +0200

Run option ROMs in coreboot by default only if the payload is not SeaBIOS

Change-Id: I29fb86ff3a3187b720ce5ef246c4eeee696ab5cd
    Signed-off-by: Peter Stuge

Reviewed-By: Patrick Georgi  at Mon Oct 29 09:35:33 2012, giving +2
See http://review.coreboot.org/1637 for details.

-gerrit