VIA_8233_ID
if ((vendor != VIA_VENDOR_ID) || (device != VIA_8233_ID &&
(device == VIA_8233_ID && pci_revision == 0x40)) {