Kernel 4.13.10 (ya sí).

Aquí va el .config en cuestión:

https://drive.google.com/open?id=0BzomtGtSNGHmbTNobHAzeW0teEU

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