[coreboot] Patch merged into coreboot/master: ce2a44e Allow shutting down internal graphics if plugin graphics are preferred

[gerrit at coreboot.org]

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

    Allow shutting down internal graphics if plugin graphics are preferred
    
    VGA is this part-legacy thing that can cause trouble...
    
    For this, introduce device_t->disable(dev) method, in which a driver
    can take care to deregister the device if necessary.
    
    Change-Id: I3fecec07f402e530458b79eda30b2c274101fefa
    Signed-off-by: Patrick Georgi <patrick.georgi at secunet.com>

Build-Tested: build bot (Jenkins) at Fri Jul 20 14:57:34 2012, giving +1
Reviewed-By: Stefan Reinauer <stefan.reinauer at coreboot.org> at Fri Jul 20 23:38:50 2012, giving +2
See http://review.coreboot.org/1251 for details.

-gerrit