Index: kernel/arch/mips32/src/start.S
===================================================================
--- kernel/arch/mips32/src/start.S	(revision 1e1e5e1f552946adaf5576371c0d6cd57ecfd5a9)
+++ kernel/arch/mips32/src/start.S	(revision 4e4052b81a9a4f4f15b01ef935279bd8084d750d)
@@ -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