A no ser que tengamos en nuestro salón un Xserve. Para todos los demás equipos, necesitaremos pulsar las teclas 6 y 4 mientras nuestro Mac arranca. Parece que Apple considera que los Mac con una EFI de 32 bits no deberían de arrancar un kernel de 64.
¿Queréis saber qué tipo de EFI tenéis? No hay problema. Con eso el Terminal os dirá si vuestra EFI es de 64 o de 32 bits (la mía es de 64 :D).
ioreg -l -p IODeviceTree | grep firmware-abi
Lo más rayante es que un equipo como el Mac Pro, no sea capaz de arrancar el de 64 bits teniendo en cuenta que es la bestia parda de Apple, debido a esta casuística.
Solo esperamos que Apple corrija esto con una actualización de la EFI.
Vía: The Apple Core