Puedes probar a meter la 2.3.5 que es la que mejor me ha ido hasta ahora con el kernel que quieras, yo tengo el darkcore 4.0 y me funciona bastante bien (salvo el problemilla con WL que aparentemente esta solucionado tras 4 dias sin fallos y un juego chorra que metí que calienta el terminal y al calentarse se reinicia).