[coreboot] New patch to review: 3d487da Add PCI IDs vor VIA VX900 chipset