Re: [PATCH v4] kdump-lib: use non-debug kernels first