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