Kernel 4.13.10 (ya sí).

Aquí va el .config en cuestión:


No ha cambiado ningún ápice, ni configuración alguna con respecto al kernel 4.13.5.