[seL4] Re: Cross Core IPC