[coreboot-gerrit] Patch set updated for coreboot: 6a7ccb3 pci_ids.h: Add PCI IDs for VIA VX900 chipset