Sie müssen die neuesten Kernelquellen (möglicherweise 4.0-rc4) besorgen oder den Patch zurückportieren. Sehen Sie grundsätzlich nach, ob Sie script/gdb/ haben Verzeichnis wie dieses in Ihren Kernelquellen. Denn dort erhalten Sie diese Skripte.
Dann befolgen Sie die in https://www.kernel.org/doc/Documentation/dev-tools/gdb-kernel-debugging.rst
genannten Schritte