Kernel 4.12.0 (ya sí)

Así lo tengo yo:

Linux 4.12.0 #1 SMP Mon Jul 3 09:09:05 CEST 2017
 15:58:17 up 44 min,  6 users,  load average: 1,01, 1,37, 1,23

Se compiló después de ir al trabajo. En escasamente 12 minutos, empezó todo y trabajó hasta las 11:06 horas.

Y...el config lo tenemos aquí:

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

De momento, todo, todo, todo muy bien, todo.