O cartão SD não é necessário como /dev/mmcblk* . Outra possibilidade é /dev/sd* .
Você pode encontrar o nome procurando na saída dmesg . Outra maneira é ejetar o cartão, digitar ls /dev , inserir cartão, fazer ls /dev novamente e encontrar a diferença.