The text bcd20a72f0e2, as Debian 10 (Buster) shipped it.
initialize pmap structures
pmap_pinit(9freebsd) on Linux now
