__copy_to_user(9) on Linux

The text 2ade872fb9c5, as Debian 8 (Jessie) shipped it.

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

__copy_to_user(9) on Linux now