ベンチマーク後、サクッとフォーマットし直してインストール。 手動でフォーマットしたら初期ブートローダのX-loaderが読みこめず、起動しなかったので、Gentoo on the pandaboardガイドのスクリプトでフォーマットし直したらうまくいった。 シリンダ数とか…