Index: linux-2.6/arch/ia64/kernel/machine_kexec.c
===================================================================
--- linux-2.6.orig/arch/ia64/kernel/machine_kexec.c	2007-02-07 13:25:16.000000000 +0900
+++ linux-2.6/arch/ia64/kernel/machine_kexec.c	2007-02-07 13:26:26.000000000 +0900
@@ -79,7 +79,8 @@
 	efi_system_table_t *systab;
 
 	systab = (efi_system_table_t *)__va(ia64_boot_param->efi_systab);
-	systab->runtime->set_virtual_address_map =
+	if (efi.mapped)
+		systab->runtime->set_virtual_address_map =
 				__pa(systab->runtime->set_virtual_address_map);
 	systab->runtime = (efi_runtime_services_t *)__pa(systab->runtime);