32bit用のカーネルでpae対応のやつってないのね。
メモリが余ってるはずなのにカツカツになってたから見てみたら3GBしか認識されてなかった…。
残りの5GBはどこにいったのやら…。
メモリが16GB超えるまでは64bitに行きたくないんだけどな。