Index: kernel/arch/ia64/src/start.S
===================================================================
--- kernel/arch/ia64/src/start.S	(revision 7f0e7b696fe2c815f85837c0148c677da23ce655)
+++ kernel/arch/ia64/src/start.S	(revision 1e3c2f1c02126e406d3a8766c27d0995b9642f58)
@@ -166,6 +166,6 @@
 	# Initialize gp (Global Pointer) register
 	movl r20 = (VRN_KERNEL << VRN_SHIFT) ;;
-	or r20 = r20, r1 ;;
-	movl r1 = kernel_image_start
+	or r20 = r20, gp ;;
+	movl gp = kernel_image_start
 	
 	/*