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