新 MacBook Pro もデフォルトでは 64bit カーネルでない。64bit にした方がいいのかな?