REFIt se está ajustando por defecto al kernel de 32 bits de OS X que no arrancará y mostrará este mensaje de error:
en el arranque tengo que pulsar F2 y luego seleccionar manualmente el kernel de 64 bits. ¿Cómo puedo cambiar el kernel que se carga por defecto?