Pour booster en version x64, il faut le preciser dans les paramètre de boot, pour cela :
nvram boot-args="arch=x86_64"
Pour repasser en i386 :
nvram -d boot-args
Pour booster en version x64, il faut le preciser dans les paramètre de boot, pour cela :
nvram boot-args="arch=x86_64"
Pour repasser en i386 :
nvram -d boot-args