Index: kernel/arch/mips32/src/start.S
===================================================================
--- kernel/arch/mips32/src/start.S	(revision 0c39b96f240cc84cb85e0065c8c0d871185a2afc)
+++ kernel/arch/mips32/src/start.S	(revision bc255aa49f163415977fd699f1505b45d5a03fed)
@@ -222,6 +222,5 @@
 	
 	/* move $k0 pointer to kernel stack */
-	lui $k0, %hi(supervisor_sp)
-	ori $k0, $k0, %lo(supervisor_sp)
+	la $k0, supervisor_sp
 	
 	/* move $k0 (supervisor_sp) */