Index: kernel/arch/mips32/src/cpu/cpu.c
===================================================================
--- kernel/arch/mips32/src/cpu/cpu.c	(revision b511c2003b4475be254644e2e4cc4462936e14b7)
+++ kernel/arch/mips32/src/cpu/cpu.c	(revision eb66f2363ca8db8691ed55d9584d3122c2853502)
@@ -37,5 +37,5 @@
 #include <arch.h>
 #include <arch/cp0.h>
-#include <print.h>	
+#include <print.h>
 
 struct data_t {
Index: kernel/arch/mips32/src/start.S
===================================================================
--- kernel/arch/mips32/src/start.S	(revision b511c2003b4475be254644e2e4cc4462936e14b7)
+++ kernel/arch/mips32/src/start.S	(revision eb66f2363ca8db8691ed55d9584d3122c2853502)
@@ -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) */