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