Pandoraの内蔵Flashメモリは512MBしかなく、SDカード増設が前提なので、32GBのSDカードを買ってきた。
そのSDカードをこちらのwikiを参考にext3でフォーマットした。SDカードを挿入してから
sudo umount /media/(SDカード名)
sudo mkfs.ext3 -m 0 -L (新しい名前) /dev/mmcblk?p1
でフォーマットできた。「mmcblk?p1」は、右側のSDカードスロットだったら「mmcblk0p1」で、左側だったら「mmcblk1p1」。その後、SDカードを挿し直して再マウントできた。
【2012/09/03 追記】
上記は間違いだった。SD compatibility listに以下のような記述があった。
Note: The first inserted SD Card will always be /dev/mmcblk0, regardless if you put it into the second or first SD Card slot, whereas the second will be /dev/mmcblk1
SDカードスロットの左右関係なく、最初に挿入してOSが認識したSDカードが「mmcblk0p1」、その次に挿入して認識したカードが「mmcblk1p1」になるらしい。