Dynamic instrumentation of the Linux kernel