The text c227785d1eaf, as Debian 7 (Wheezy) shipped it.
unmap kernel VM area
unmap_kernel_range_noflush(9) on Linux now
