I have ordered a SD Card booster pack 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.
Here is the ECO List
Scratch out traces at SJ1 , SJ2, SJ3, SJ4
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 !!!