Debe obtener las últimas fuentes del kernel (puede ser 4.0-rc4) o realizar una copia del parche. Básicamente mira si tienes script/gdb/ directorio como este en las fuentes de su núcleo. Porque ahí es donde obtienes estos scripts.
Luego sigue los pasos mencionados en https://www.kernel.org/doc/Documentation/dev-tools/gdb-kernel-debugging.rst