__get_user(9) on Linux

The text 2e322b28655f, as Debian 4.0 (Etch) shipped it.

Get a simple variable from user space, with less checking.

__get_user(9) on Linux now