Question: How is Linux kernel live debugging done and what tools are used?