[seL4] Re: some question about seL4 performance