Re: [PATCH] disable runtime kernel replacement via kexec