modprobe succeeding despite mismatch on PCI-ID