microblaze: Change label name in copy_tofrom_user