How can I debug Ubuntu's kernel? Are there any debug symbols available, or should I recompile the kernel with debug info?
The kernel team have a wonderful wiki page.
it has a kernel debugging page where you can find :
To determine which guides are relevant to your problem see the Kernel/Debugging/Symptom based debugging guide .
Useful information can be found on this page
Now I just need to figure out the Debian equivalent.