[coreboot] Patch merged into coreboot/master: 23efb07 vga_io.c is not needed unless CONFIG_VGA is set

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 23efb0706a5016f07eaa6d67c85a3409aa127edd
Author: Stefan Reinauer <reinauer at chromium.org>
Date:   Thu Nov 17 11:13:36 2011 -0800

    vga_io.c is not needed unless CONFIG_VGA is set
    
    hence disable it.
    
    Change-Id: I7b406251a2f3830748140a111f76f2792fe923ed
    Signed-off-by: Stefan Reinauer <reinauer at google.com>

Build-Tested: build bot (Jenkins) at Fri Mar 30 13:27:30 2012, giving +1
Reviewed-By: Stefan Reinauer <stefan.reinauer at coreboot.org> at Fri Mar 30 17:49:34 2012, giving +2
See http://review.coreboot.org/753 for details.

-gerrit