[Ya compilado] Kernel 4.13.5.

Aquí lo tenemos...

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

Han variado 2 cosas, pero nada graves...funcionar, funciona muy bien.