うちのMacだとカーネルが64bitモードで起動しないらしい。 iMac(5,1)：EFI（ファームウェア）が32bitのため MacBook：EFIは64bitだが、OS側で制限しているため 参考：64bit完全対応のSnow Leopard、実はデフォルト起動は32bitカーネル!?