smpdump(8) on Linux

The text 7e3fa6f8b66d, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

smpdump(8) on Linux now