The text c9e704f1ce43, as Debian 9 (Stretch) shipped it.
Physical Address Extensions
pae(4freebsd) on Linux now
