The text d23a1a52bbf9, as Debian 10 (Buster) shipped it.
initialize the pmap subsystem
pmap_init(9freebsd) on Linux now
