Index: kernel/arch/ia64/src/start.S
===================================================================
--- kernel/arch/ia64/src/start.S	(revision e5c1186d6bb5d82ffce0d76cda79942647f1536e)
+++ kernel/arch/ia64/src/start.S	(revision fae1647474f9795a46361cd248154fafdbc2bfbc)
@@ -177,9 +177,6 @@
 	
 	br.call.sptk.many b0 = arch_pre_main
-	
-	movl r18 = main_bsp ;;
-	mov b1 = r18 ;;
-	br.call.sptk.many b0 = b1
-
+0:
+	br.call.sptk.many b0 = main_bsp
 0:
 	br 0b