[coreboot-gerrit] New patch to review for coreboot: 1e542c3 m4a785/Kconfig: Add vgabios pci id