[seL4] Re: How to avoid priority inversion in seL4