android SDK の mksdcard コマンドが 32bit バイナリなんだね。