Re: [seL4] Destroying the Root Thread