Check for permissions when using pointers from user-space

[champo]

System calls can overwrite data that's read-only to a process. System calls that use output pointers should check for write permissions.
Also, a process may pass in a supervisor only address that the kernel can read/write from. This should be avoided too.