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

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

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

-gerrit