[coreboot] New patch to review for coreboot: 1fd9ee4 vga_io.c is not needed unless CONFIG_VGA is set