Posible duplicado:
Mi mac tiene EFI de 64 bits, pero sólo arranca con kernel de 32 bits
¿Por qué mi MacBook no funciona en modo de 64 bits? Es un modelo de mediados de 2010, "MacBook 7,1", con un Core-2 Duo. ¿Por qué iba a funcionar en modo de 32 bits? ¿Podría ser porque sólo tengo 2 GB de RAM?