diff --git a/sys/gnu/i386/fpemul/fpu_aux.c b/sys/gnu/i386/fpemul/fpu_aux.c
index 536d5a159e8..b7b901f2ccf 100644
--- a/sys/gnu/i386/fpemul/fpu_aux.c
+++ b/sys/gnu/i386/fpemul/fpu_aux.c
@@ -62,9 +62,7 @@
 
 
 #include <sys/param.h>
-#include <sys/systm.h>		/* for printf() in EXCEPTION() and
-				 * to bring in <machine/cpufunc.h
-				 */
+#include <sys/systm.h>
 #include <sys/proc.h>
 #include <machine/cpu.h>
 #include <machine/pcb.h>