4.1.1 PCI Device Discovery

This use of PCI device ID’s is an unusual way to handle PCI identification and plays badly with Windows. Could we instead require the device ID be 0x10xx where xx is the already defined sub-vendor code. This reflects the current reality of implementation requirements.