[seL4] IPC performance for slowpath