microblaze: fix __user annotations