vmalloc_user(9) on Linux

The text 6680650c432a, as Debian 7 (Wheezy) shipped it.

allocate zeroed virtually contiguous memory for userspace

vmalloc_user(9) on Linux now