[RESEND PATCH v2 4/4] try to update the crashkernel in GRUB_ETC_DEFAULT after kexec-tools updates the default crashkernel value