Index: arch/mips32/src/mips32.c
===================================================================
--- arch/mips32/src/mips32.c	(revision beec330c15f426e89a290e7b1060eadcd98ccad9)
+++ arch/mips32/src/mips32.c	(revision 84490003b9286dbd184c39b80d9a8e0478a32d2e)
@@ -68,5 +68,12 @@
 #define CACHE_EXC ((char *) 0x80000100)
 
-bootinfo_t bootinfo;
+
+/* Why the linker moves the variable 64K away in assembler
+ * when not in .text section ????????
+ */
+__address supervisor_sp __attribute__ ((section (".text")));
+/* Stack pointer saved when entering user mode */
+/* TODO: How do we do it on SMP system???? */
+bootinfo_t bootinfo __attribute__ ((section (".text")));
 
 void arch_pre_main(void)
@@ -121,7 +128,7 @@
 {
 #ifdef CONFIG_FB
-		fb_init(0x12000000, 640, 480, 24, 1920); // gxemul framebuffer
+	fb_init(0x12000000, 640, 480, 24, 1920); // gxemul framebuffer
 #endif
-		sysinfo_set_item_val("machine." STRING(MACHINE),NULL,1);
+	sysinfo_set_item_val("machine." STRING(MACHINE),NULL,1);
 }
 
@@ -133,12 +140,4 @@
 {
 }
-
-/* Stack pointer saved when entering user mode */
-/* TODO: How do we do it on SMP system???? */
-
-/* Why the linker moves the variable 64K away in assembler
- * when not in .text section ????????
- */
-__address supervisor_sp __attribute__ ((section (".text")));
 
 void userspace(uspace_arg_t *kernel_uarg)