Index: kernel/arch/mips32/src/start.S
===================================================================
--- kernel/arch/mips32/src/start.S	(revision 2a3124c420b0892b8e7da990c72b12a6d7b06a9c)
+++ kernel/arch/mips32/src/start.S	(revision 5719f6ddbbd629f7eb5c571fcbcbd7a87a3565c7)
@@ -350,4 +350,6 @@
 	add $sp, $a0, 0
 	add $v0, $a1, 0 
-	add $t9, $a2, 0			# Set up correct entry into PIC code 
-	eret
+	add $t9, $a2, 0			# Set up correct entry into PIC code
+	xor $a0, $a0, $a0		# $a0 is defined to hold pcb_ptr
+					# set it to 0
+	eret