microblaze: switch to generic kernel_execve()

Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Signed-off-by: Michal Simek <michal.simek@xilinx.com>
diff --git a/arch/microblaze/kernel/entry-nommu.S b/arch/microblaze/kernel/entry-nommu.S
index c47e92c..8957c77 100644
--- a/arch/microblaze/kernel/entry-nommu.S
+++ b/arch/microblaze/kernel/entry-nommu.S
@@ -479,8 +479,8 @@
 	addk	r5, r0, r3
 	brald	r15, r20
 	addk	r5, r0, r19
-	brid	sys_exit	/* won't be returning... */
-	addk	r5, r0, r0
+	brid	ret_to_user
+	addk	r3, r0, r0
 
 work_pending:
 	enable_irq