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