[seL4] Re: A way to reclaim initial thread resources