Vous devez obtenir les dernières sources du noyau (peut-être 4.0-rc4) ou rétroporter le correctif. En gros, voyez si vous avez script/gdb/ répertoire comme celui-ci dans les sources de votre noyau. Parce que c'est là que vous obtenez ces scripts.
Ensuite, vous suivez les étapes mentionnées dans https://www.kernel.org/doc/Documentation/dev-tools/gdb-kernel-debugging.rst