[DavidEUS]

Creo que éste kernel va en decadencia.
Entre la obligacion de gestionarlo mediante ex kernel manager (si no quieres profundizar por otros medios), y el rendimiento, que parece que va de mal en peor pues.....
Me quedo en la 3.9 por ahora.