The text 8bf93d06eb8a, as Debian 8 (Jessie) shipped it.
systemtap ipmib tapset
tapset::ipmib(3stap) on Linux now
