I pulled in to the 4.1.1 backport driver, but it's been stripped of the platform data in lieu of the device tree which the 3.0 kernel doesn't' support.
If you want to experiment with it, the documenation is located here: https://backports.wiki.kernel.org/index.php/Main_Page and the downloads are:
http://drvbp1.linux-found.../rel-html/backports/ It appears as if we already have the latest version of the driver available for the 3.0 kernel installed. TI has a support forum where I have gone to search data. I might suggest looking here: https://e2e.ti.com/support/wireless_connectivity/wilink_wifi_bluetooth/f/307 (the WL127x and WL128x are mostly the same)
You may also want to consider experimenting witih the 4.4 Beta kernel we posted on our site with our kit. It will have newer drivers and firmware, and the device tree support is in there. Our internal focus on testing the Beta kernel has been focused on the non-wireless Torpedo, but I have personally used the Wifi on the 4.4 kernel with decent success, but the testing wasn't exhaustive.
adam