Useful systemtap scripts for Linux kernel debugging