The text 9170f566ab9f, as Debian 4.0 (Etch) shipped it.
allocate virtually contiguous memory (32bit
vmalloc_32_user(9) on Linux now
