There is a this good software that is made for formatting SD cards, i've used it and it works very well. Make sure also that the card is seated properly. I didn't seat mine when I put in my new 32Gb card and the first time I restarted, it wouldnt' read it as even there. Software can be found here to format the card:
http://www.sdcard.org/consumers/formatter/