[Crash-utility] Re: [PATCH v4 13/16] set_context(): check if context is already current