I have ordered a SD Card booster pack from 40Oh to work with the CC3200 Launchpad, but the connector definitions do not match.. I was able to do some board modifications and make it to work with the CC3200 LAUNCHXL Rev 3.2.
The board is available here
http://doc.43oh.com/The_Card_Reader_SDCard_BoosterPack
http://store.43oh.com/index.php?route=product/product&product_id=66
Here is the ECO List
1. Scratch out traces at SJ1 , SJ2, SJ3, SJ4
2. Blue wire the following pins
SD Card Pin No Header Pin
2 J2.3
5 J2.6
7 J2.7
The board looks as below now with the changes. And it works !!! :)