Re: [PATCH] sandbox: improve description of CONFIG_SANDBOX_CRASH_RESET