smp(4freebsd) on Linux

The text d33e1ee7232d, as Debian 9 (Stretch) shipped it.

description of the FreeBSD Symmetric Multi-Processor kernel

smp(4freebsd) on Linux now