[PATCH] compat_ioctl __user annotations