__copy_from_user(9) on Linux

The text 1b042174202a, as Debian 8 (Jessie) shipped it.

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

__copy_from_user(9) on Linux now