[coreboot-gerrit] Patch merged into coreboot/master: d1d9b49 Remove PCI_ROM_RUN option

the following patch was just integrated into master:
commit d1d9b49b02967371ba6fe9447a047722310007f1
Author: Vladimir Serbinenko 
Date:   Fri Dec 20 17:47:19 2013 +0100

Remove PCI_ROM_RUN option

The main purpose of option rom is to supply int* handlers.
    But supplying those is outside of coreboot scope and if someone needs those
    they should run SeaBIOS anyway which runs the option roms wonderfully.

Running VGA oprom is kept because they're needed to init graphics.

This patch still keeps the options to include the option roms to make them
    available to SeaBIOS.

Change-Id: I646334cf88094d3bf8f527779a68a07e0b4b93ec
    Signed-off-by: Vladimir Serbinenko

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

-gerrit