--- /dev/null
+++ work/patches/linux-2.6.18/ia64-kexec-xen.patch
@@ -0,0 +1,12 @@
+--- a/arch/ia64/kernel/efi.c
++++ b/arch/ia64/kernel/efi.c
+@@ -1073,6 +1073,9 @@
+                         insert_resource(res, &boot_param_res);
+ 			if (crashk_res.end > crashk_res.start)
+ 				insert_resource(res, &crashk_res);
++#ifdef CONFIG_XEN
++			xen_machine_kexec_register_resources(res);
++#endif
+ #endif
+ 		}
+ 	}
--- 0010/patches/linux-2.6.18/series
+++ work/patches/linux-2.6.18/series
@@ -20,3 +20,4 @@ kasprintf.patch
 sysctl-unnumbered.patch
 ia64-kexec.patch
 ia64-kexec-CONFIG_KEXEC-cleanup.patch
+ia64-kexec-xen.patch