why on earth is NetBSD talking about a Lucent Sierra Wireless mobile adapter??? Is this a PCI ID mismatch in the kernel?
Yes and no. My guess is that the 'Sierra Wireless AirCard' is just another USB controller and a EVDO modem hooked up to it crammed into a cardbus card, which just happened to use the exact same PCI ID for the USB part.
maybe, but still it is incorrect to call that entry Sierra Wireless AirCard then.
OpenBSD for example has
product LUCENT USBHC2 0x5802 USB 2-porthttp://pcwelt-wiki.de/wiki/11c1:5802:0000:0000
Vendor: 11c1 Agere Systems
Device: 5802 USS-312 USB Controller
So I think on NetBSD we should change in src/sys/dev/pci/pcidevs the line
product LUCENT EVDO 0x5802 Sierra Wireless AirCard 580
product LUCENT USBHC2
2-port USB Host Controller
and update src/sys/dev/pci/pcidevs.h and src/sys/dev/pci/pcidevs_data.h