[coreboot] Patch merged into coreboot/master: db5db28 i945: Disable IGD if plugin VGA is preferred

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit db5db2847ffb26c4e8181166498ae6353c65ec9c
Author: Patrick Georgi <patrick.georgi at secunet.com>
Date:   Fri Jul 20 12:37:06 2012 +0200

    i945: Disable IGD if plugin VGA is preferred
    
    It's shut down, but UMA memory is not reclaimed. A later extension
    could optionally do the magic register dance that allows initialization
    of IGD as secondary graphics device.
    
    Change-Id: I2a92bb71755005b886a8e1825325c678a9991bf2
    Signed-off-by: Patrick Georgi <patrick.georgi at secunet.com>


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

-gerrit