Gracias a la guía de Ark74 pude actulizar el kernel a la versión 3.10
Dejo este enlace si es que le sirve a alguien http://arnoldfiarn.wordpress.com/2014/06/01/actualizacion-del-kernel-linux-libre-a-su-ultima-version-en-trisquel-gnulinux-libre/
Saludos.
