Index: l4/pkg/l4re-core/l4re_kernel/server/src/ARCH-mips/loader_mips.S
===================================================================
--- l4/pkg/l4re-core/l4re_kernel/server/src/ARCH-mips/loader_mips.S	(revision 72)
+++ l4/pkg/l4re-core/l4re_kernel/server/src/ARCH-mips/loader_mips.S	(working copy)
@@ -1,7 +1,11 @@
 #include <sys/regdef.h>
 #include <sys/asm.h>
 
+.set noreorder
 LEAF(loader_thread)
+	lui $25, %hi(__real_loader_thread)
+	ori $25, $25, %lo(__real_loader_thread)
+__real_loader_thread:
 	.cpload $25
 	SETUP_GPX64($25, $0)
 	PTR_LA	$25, loader_thread_c
Index: l4/pkg/l4re-core/moe/server/src/ARCH-mips/crt0.S
===================================================================
--- l4/pkg/l4re-core/moe/server/src/ARCH-mips/crt0.S	(revision 72)
+++ l4/pkg/l4re-core/moe/server/src/ARCH-mips/crt0.S	(working copy)
@@ -21,6 +21,9 @@
 .globl _real_start
 .set noreorder
 _real_start:
+	lui $25, %hi(__real_start)
+	ori $25, $25, %lo(__real_start)
+__real_start:
 	.cpload $25 /* load gp */
 	SETUP_GPX64($25, $0)
 	PTR_LA	$29, _stack_top
Index: l4/pkg/l4re-core/sigma0/server/src/ARCH-mips/crt0.S
===================================================================
--- l4/pkg/l4re-core/sigma0/server/src/ARCH-mips/crt0.S	(revision 72)
+++ l4/pkg/l4re-core/sigma0/server/src/ARCH-mips/crt0.S	(working copy)
@@ -14,6 +14,9 @@
 .globl __start
 .set noreorder
 __start:
+	lui $25, %hi(__realstart)
+	ori $25, $25, %lo(__realstart)
+__realstart:
 	.cpload $25 /* load GP */
 	SETUP_GPX64($25, $0)
 	PTR_LA	$29, crt0_stack_high