The text a1cb76480ea1, as Debian 10 (Buster) shipped it.
Kernel Dynamic Per-CPU Memory Allocator
dpcpu(9freebsd) on Linux now
