The text b67af2ba1ad8, as Debian 8 (Jessie) shipped it.
initialize pmap structures
pmap_pinit0(9freebsd) on Linux now
