vmalloc_user(9) on Linux

The text 7ba5f121d7a1, as Debian 8 (Jessie) shipped it.

allocate zeroed virtually contiguous memory for userspace

vmalloc_user(9) on Linux now