Index: arch/mips32/Makefile.inc
===================================================================
--- arch/mips32/Makefile.inc	(revision 34722eec48a3738a79af032a3ee21e3eead183db)
+++ arch/mips32/Makefile.inc	(revision 3bb9c99d4ee8a357a69e5173c066c31bb878e538)
@@ -62,5 +62,5 @@
 	CFLAGS += -EB -DBIG_ENDIAN -DHAVE_FPU -march=r4600
 endif
-ifeq ($(MACHINE}),lgxemul)
+ifeq ($(MACHINE),lgxemul)
 	BFD_NAME=elf32-tradlittlemips
 	BFD = ecoff-littlemips
Index: arch/mips32/src/fpu_context.c
===================================================================
--- arch/mips32/src/fpu_context.c	(revision 34722eec48a3738a79af032a3ee21e3eead183db)
+++ arch/mips32/src/fpu_context.c	(revision 3bb9c99d4ee8a357a69e5173c066c31bb878e538)
@@ -31,4 +31,5 @@
 #include <arch.h>
 #include <arch/cp0.h>
+#include <proc/thread.h>
 
 void fpu_disable(void)