[coreboot-gerrit] Patch set updated for coreboot: 41ecc66 asus/m4a785/Kconfig: Add vgabios PCI id