Index: /trunk/source/lisp-kernel/platform-freebsdx8632.h
===================================================================
--- /trunk/source/lisp-kernel/platform-freebsdx8632.h	(revision 13639)
+++ /trunk/source/lisp-kernel/platform-freebsdx8632.h	(revision 13640)
@@ -32,5 +32,5 @@
 #include "x86-constants32.h"
 
-#include <machine/fpu.h>
+#include "freebsdx8632/fpu.h"
 #define xpGPRvector(x) ((natural *)(&((x)->uc_mcontext)))
 #define xpGPR(x,gprno) (xpGPRvector(x)[gprno])