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