Index: kernel/arch/ppc64/src/asm.S
===================================================================
--- kernel/arch/ppc64/src/asm.S	(revision e32e092d6f8bed442ecc81b18af9ef323bc4e650)
+++ kernel/arch/ppc64/src/asm.S	(revision 6e0e8c992daf9d94390386eed35f8f74072d093d)
@@ -67,4 +67,8 @@
 	mr sp, r4
 	
+	# %r3 is defined to hold pcb_ptr - set it to 0
+
+	xor r3, r3, r3
+
 	# jump to userspace