Clean up user/kernel copy functions.
Note it still does not work.