Actualización 23/09/2017: La guía funciona también para el kernel 4.14, podéis actualizar el kernel del 4.12 al 4.14 siguiendo únicamente los pasos del punto ‘Descarga y compilación del kernel’. Actualización 2/12/2017: La guía funciona también para el kernel 4.15. Actualización 8/12/2019: Tras actualizar a Ubuntu 18.04 he comprobado que la guía funciona también para el