This adds support for wireless network cards with Marvell Libertas 8xxx chips
supported by the libertas_cs, libertas_sdio, libertas_spi, libertas_tf_usb,
mwl8k and usb8xxx drivers.