[seL4] Why send-only IPC doesn't and shouldn't return a success indicator