The text 4e966c0b9a4c, as Debian 10 (Buster) shipped it.
Physical Address Extensions
pae(4freebsd) on Linux now
