__clear_user(9) on Linux

The text 6d4cf5d17072, as Debian 8 (Jessie) shipped it.

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

__clear_user(9) on Linux now