Index: 20071119-ia64/xen/arch/ia64/xen/ivt.S
===================================================================
--- 20071119-ia64.orig/xen/arch/ia64/xen/ivt.S	2007-11-22 00:22:13.000000000 -0700
+++ 20071119-ia64/xen/arch/ia64/xen/ivt.S	2007-11-22 00:23:45.000000000 -0700
@@ -248,7 +256,7 @@
 	;;
 	cmp.ne p8,p0=r0,r18		// Xen UC bit set
 	;;
-	cmp.eq.or p8,p0=0x18,r22 	// Region 6 is UC for EFI
+	cmp.eq.or p8,p0=0x18,r22	// Region 6 is UC for EFI
 	;;
 (p8)	dep r19=-1,r19,4,1	// set bit 4 (uncached) if access to UC area
 (p6)	mov cr.ipsr=r21