__copy_to_user(9) on Linux

The text 2a102c8b87f0, as Debian 7 (Wheezy) shipped it.

Copy a block of data into user space, with less checking.

__copy_to_user(9) on Linux now