[coreboot-gerrit] Patch set updated for coreboot: 0f59d9c asus/m4a785/Kconfig: Add vgabios pci id