1
vote
5answers
1k views

My mac has 64-bit EFI, but it only boots with 32-bit kernel

I followed the guide at http://macperformanceguide.com/SnowLeopard-64bit.html to boot into 64-bit mode. I had no problems with the instructions and on the boot screen it says "PAE enabled, 64bit mode ...