[PATCH] s390 misc __user annotations