microblaze: Fix return value for sys_ipc