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