Debugging the Linux kernel and modules