Install SystemTap (see also https://wiki.ubuntu.com/Kernel/Systemtap#Where_to_get_debug_symbols_for_kernel_X.3F for Ubuntu)
apt-get install linux-image-$(uname -r)-dbgsym build-essential systemtap systemtap-runtime linux-headers-$(uname -r)
stap-prep
./configure
make