The text e72cd73f868e, as Debian 8 (Jessie) shipped it.
unmap kernel VM area and flush cache and TLB
unmap_kernel_range(9) on Linux now
