vmalloc_user(9) on Linux

The text 96fb0583414b, as Debian 6.0 (Squeeze) shipped it.

allocate zeroed virtually contiguous memory for userspace

vmalloc_user(9) on Linux now