Using Code Coverage Tools in the Linux Kernel