SD Card Formatterを使ってもフォーマットできなかった（そもそもWindowsの反応がなくなる）ので、あまり使っていなかった32GBのSDHCカードを使うことにした。元から付属していたオマケのSDHCカードは8GB。32GBも要らないかなぁとは思ったけど、これしかなかったから仕方ない。