[coreboot-gerrit] Patch set updated for coreboot: 13af9ac asus/m4a785/Kconfig: Add vgabios PCI id The PCI id defaults to 1106, 3230 -> via chrome 9 ... Tested on the board.