Seu cartão SD está com uma capacidade menor do que a mostrada na etiqueta do cartão ? O problema pode estar no tipo de formatação utilizada. No meu caso, isso aconteceu depois que eu instalei uma versão do Linux para Raspberry Pi (conheça o Raspberry Pi no post O que é o Raspberry Pi).
A instalação do sistema operacional deixou o meu cartão de 4 Gb com apenas 2,5 Gb disponíveis, mesmo formatando o mesmo diversas vezes utilizando Windows XP, Windows 7 e Windows 8.
