Linux Kernel Debugging Going Beyond Printk Messages