Yo es el kernel que uso, y lo que es en sí rendimiento-consumo creo que merece la pena.
Consume un pelín más que el stock pero la fluidez en el terminal se nota la mejoría.
Puedes probar y si no te gusta siempre puedes volver a instalar el stock.
Saludos.
