rickroll: systemtap edition#4

lindi2 wants to merge 4 commits intofpletz:masterfpletz/kernelroll:masterfrom

lindi2:masterlindi2/kernelroll:masterCopy head branch name to clipboard