[PATCH] Compilation of kexec/kdump broken