Me imagino que esto sirve para la instalación de cualquier kernel de los que aparecen en la lista
Cambiar el kernel es opcional, ( la rom trae su propio kernel)
Para cambiar el kernel hacer Wipe caché y Wipe dalvik caché y flashear el
Limpiador de kernel Descargalo AQUI
Luego instalar el zip del kernel que quieras.
Un saludo y gracias por el curro!!!