Re: [PATCH] sandbox: disable tracing before unmapping RAM