[coreboot] [PATCH] Add PCI ID's for VIA K8T800 and K8M800 chipsets