Seguí la guía en enlace para arrancar en modo de 64 bits. No tuve problemas con las instrucciones y en la pantalla de inicio dice "PAE habilitado, modo de 64 bits habilitado", pero cuando el sistema arranca, tanto uname -a como System Profiler dicen yo que ha arrancado en modo de 32 bits.
Realmente necesito arrancar en el kernel de 64 bits, ¿qué debo hacer?
El sistema es MacBook Unibody (principios de 2009, 6 GB de RAM, 2.4 CPU Intel, 10.6.6)