64bitBootの設定忘れてた

　ＨＤＤ交換によるＯＳ入れ直しで更に見落としが判明したんだな。
　ＯＳが素の状態に戻っていたのでBootが32Bitモードになっていたんだな。
　ってことでターミナルからおまじない
　　sudo systemsetup -setkernelbootarchitecture x86_64
　を実行してデフォを64Bitにきりかえたんだな。