Hola alejandro_blue
Yo tengo un X200 comprado en Vikings (https://store.vikings.net/) que me vino
con Trisquel 7 y el kernel 4.13 en vez del 3.13 que viene por defecto en
nuestra distro.
Este kernel se fué actualizando con las nuevas versiones a través de un
repositorio instalado por Vikings que apunta a los nuevos kernels que vienen
de la FSFLA.
Ahora mismo tengo el kernel 4.13.16 y ya no se actualiza desde hace unas
semanas.
Es posilble que Trisquel 7 no sea compatible con 4.14 y posteriores.
Por lo menos es mi experiencia
saludos