Cleanup inclusions.
Proper definition of get_user() and put_user() stuff.

This will do for now, but if the stubs are supposed to be
functional, then we will have to do the magic to make
them work...