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

the following patch was just integrated into master:
commit db5db2847ffb26c4e8181166498ae6353c65ec9c
Author: Patrick Georgi 
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

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

-gerrit