diff --git a/sys/i386/i386/support.s b/sys/i386/i386/support.s
index 618829fbb0e..c3ac1731401 100644
--- a/sys/i386/i386/support.s
+++ b/sys/i386/i386/support.s
@@ -37,7 +37,6 @@
 #include <machine/pmap.h>
 #include <machine/specialreg.h>
 
-#include "opt_global.h"
 #include "assym.s"
 
 #define IDXSHIFT	10