ioreg -l -p IODeviceTree | grep firmware-abi

Y te dirá si la EFI es de 32 o 64

Si es 64bits, deberás utilizar alguna utilidad tipo http://ttiki.com/6314 para cambiar el arraque. Pero no… tu ordenador es como el mío, no soportado para arranque 64, se espera que Apple saque alguna actualización en este aspecto.

Con lo que tendrás que hacer lo mismo que yo… modificar el boot.efi para poder arrancar así. En la web que indico lo hacen para los MacBooks. Tendrás que buscar para los iMacs.

Tengo un iMac 24″ de 2007, se le puede poner el kernel en 64bits?

Saludos y enhorabuena por tu blog!!