[coreboot] Patch set updated for coreboot: 236e3e5 vga_io.c is not needed unless CONFIG_VGA is set