Ya sí, kernel 4.16.5.

Ya lo tengo en funcionamiento:

Linux 4.16.5 #1 SMP Thu Apr 26 16:56:07 CEST 2018
 20:48:46 up 23 min,  8 users,  load average: 0,73, 0,82, 0,85

El fichero en cuestión lo tenemos aquí:

https://drive.google.com/open?id=1reTB93MATGW2NTZYlZPmhU5md4lRmrvl

Sin otro más,...aquí está todo.