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