The text 5a531f4ff4c4, as Debian 8 (Jessie) shipped it.
remap kernel memory to userspace
remap_pfn_range(9) on Linux now
