__clear_user(9) on Linux

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

Zero a block of memory in user space, with less checking.

__clear_user(9) on Linux now