Raspberry Pi 2 が普通に入手できるようになっていたので入手。 使う SD カードは Transcend microSDXCカード 64GB Class10 UHS-I対応 TS64GUSDU1E を選んだんだけど これが意外なほど手間取った。 Linux では parted を使うのがオススメ！とか書いてあった…