Хотите 64-битное ядро? Вначале внимательно смотрим на эту картинку:

Видите ли вы на этой табличке свой Мак? Не видите? Плохо!

Потому что, судя по информации от Маркуса Винтера (создателя программы, проверяющей состояние компьютера и его поддержку 64-битности), только те компьютеры, которые перечислены в списке, могут загружать ядро в 64-битном режиме, даже если процессор и EFI показываются у них как поддерживающие 64-бит.
[ad#intext-inside]

Вопрос: I have 64-bit processor, 64-bit EFI, but when I select option to boot kernel in 64-bit mode, it still boots in 32-bit mode. I have MBP3,1, 2.4GHz Core2Duo model, summer 2007. It’s not like I really need 64-bit kernel, but I’m just curious.
Ответ: Nope – not until Apple releases a firmware update.

Не то, чтобы это особо что-то значило (читаем предыдущую статью), но все равно полезно знать 🙂

ЗЫ По словам Маркуса, есть еще два Мака, которых нет на табличке, но они могут грузиться в 64-битное ядро — “MacBookPro5,3” и “MacBookPro5,5”.
[ad#intext-inside]