> Also, further device identification is available from device_id. Do you mean vendor_part_id or PCI config device_id? I was going to set vendor_part_id the same as PCI config device id. Chien