Re: [PATCH 1/1] sandbox: fix sandbox_reset()