Re: [PATCH 2/3] Simplify the management of the kernel parameter crashkernel