1 Copper

Correct Windows Server 2012 R2 driver for the "Marvell Wireless Device" on a Dell IoT Gateway 5500

I have a Dell IoT Gateway 5500 (Intel Atom CPU E32827 @ 1.74 GHz, 8 GB RAM) running Windows Server 2012 R2 Standard.  I know that this box contains a WiFi card, but I can't seem to find the right driver to enable that.  In Device Manager, no WiFi adapter shows up in the list of Network adaoters, and when I look under "Other Devices", I see an "Ethernet Controller" and "Marvell Wireless Device" listed, both of which have the status

The drivers for this device are not installed. (Code 28)

There are no compatible drivers for this device.

I've looked through the Dell Drivers page and the Marvell company drivers sites, but I've yet to find the right driver that will enable the built-in WiFi on this device.  Does anyone know of the right driver to use for this, and where specifically to obtain that driver?  I've already installed both server OS drivers from Marvell, but neither was detected as the correct one for my device.  Thanks for any help you could offer!