Re: [PATCH v4 11/13] reset kernel crashkernel for the special case where the kernel is updated right after kexec-tools