[IA64] purge IA64_TR_PALCODE after firmware call.

diff -r be563e7e92e1 xen/include/asm-ia64/linux-xen/linux/efi.h
--- a/xen/include/asm-ia64/linux-xen/linux/efi.h	Fri Jul 11 16:33:14 2008 +0900
+++ b/xen/include/asm-ia64/linux-xen/linux/efi.h	Fri Jul 11 16:35:25 2008 +0900
@@ -25,6 +25,7 @@
 #include <asm/system.h>
 
 #ifdef XEN
+#include <asm/meminit.h>     /* GRANULEROUNDDOWN */
 extern void * pal_vaddr;
 #endif
 
@@ -474,6 +475,10 @@
 } while (0)
 
 #define XEN_EFI_RR_RESTORE(rr6, rr7) do {		\
+	ia64_ptr(0x1 /*I*/,				\
+		 GRANULEROUNDDOWN(			\
+			 (unsigned long)pal_vaddr),	\
+		 IA64_GRANULE_SHIFT);			\
 	set_one_rr_efi(6UL << 61, rr6);			\
 	set_one_rr_efi(7UL << 61, rr7);			\
 } while (0)