[seL4] Recycle resources used by a thread after it terminates