Index: kernel/arch/ia64/src/start.S
===================================================================
--- kernel/arch/ia64/src/start.S	(revision 3ee8a07528aa466b40a362672714a05e936d396e)
+++ kernel/arch/ia64/src/start.S	(revision 857c0e7a9d2cfbb243d8387e5b60e4c8acb14626)
@@ -108,4 +108,5 @@
 
 	# initialize gp (Global Pointer) register
+	mov r20 = r1 ;;
 	movl r1 = _hardcoded_load_address
 
@@ -119,8 +120,10 @@
 	addl r18 = @gprel(hardcoded_kdata_size), gp
 	addl r19 = @gprel(hardcoded_load_address), gp
+	addl r21 = @gprel(bootinfo), gp
 	;;
 	st8 [r17] = r14
 	st8 [r18] = r15
 	st8 [r19] = r16
+	st8 [r21] = r20
 
 	ssm (1 << 19) ;; /* Disable f32 - f127 */