32bit カーネルと 64bit カーネルの切り替え

わざわざ plist を直接編集しなくても、

  • systemsetup -setkernelbootarchitecture x86_64
  • systemsetup -setkernelbootarchitecture i386