Re: [PATCH] Explain the auto_reset_crashkernel option in more details