If this user has either created an ad-hoc wireless network or joined a homegroup, then you'll see that virtual wifi miniport (there may be other ways, but those are the most common). If that WiFi connector is a USB device, and the computer presents it differently during different boot cycles (not impossible - this problem can even exist on servers, where teaming can be broken, for instance), Windows has to create a new miniport device to bind to the wireless NIC because the "old" one has disappeared, and the "new" one is such because the GUID changed due to it being presented differently than the last time to the OS.
If you add up 1 wireless NIC, 2x physical NICs, and 7 virtual miniport adapters, you get 10. This is what is happening most likely, given that wireless device is a USB device and not built-in.
