sel4: IPC between two threads