Para cambiar el kernel se tiene que hacer desde un recovery CWM , si tiene el bootloader abierto solo tienes que cargar el recovery CWM e instalar el kernel, si eres root el recovery CWM Touch al cargarlo se te queda permanente y no se tiene que volver a cargar cada vez que lo necesites, yo personalmente siempre tengo el bootloader abierto ya que como se sabe que al abrirlo se formatea el Nexus y se borra toda la SD.
PD: acabo de instalar el kernel de Trinity y la verdad es que veo los botones mas iluminados, lo único que me molesta es que esta basado en el kernel del 4.0.3