Simulate seL4_TCB_Configure behaviour on master for RT

libsel4utils/include/sel4utils/mcs_api.h

diff --git a/libsel4utils/include/sel4utils/mcs_api.h b/libsel4utils/include/sel4utils/mcs_api.h
index 956993e..36dc98b 100644
--- a/libsel4utils/include/sel4utils/mcs_api.h
+++ b/libsel4utils/include/sel4utils/mcs_api.h
@@ -104,8 +104,17 @@
                                            seL4_Word ipc_buffer_addr, seL4_CPtr ipc_buffer_cap)
 {
 #ifdef CONFIG_KERNEL_RT
-    return seL4_TCB_Configure(tcb, ep, timeout_ep, sc, cspace, cdata, vspace, vdata,
-                              ipc_buffer_addr, ipc_buffer_cap);
+    seL4_Error error = seL4_TCB_SetSpace(tcb, ep, cspace, cdata, vspace, vdata);
+    if (!error) {
+        error = seL4_TCB_SetIPCBuffer(tcb, ipc_buffer_addr, ipc_buffer_cap);
+    }
+    if (!error) {
+        error = seL4_TCB_SetTimeoutEndpoint(tcb, timeout_ep);
+    }
+    if (!error) {
+        error = seL4_SchedContext_Bind(sc, tcb);
+    }
+    return error;
 #else
     return seL4_TCB_Configure(tcb, ep, cspace, cdata, vspace, vdata,
                               ipc_buffer_addr, ipc_buffer_cap);