Index: kernel/arch/ia32/Makefile.inc
===================================================================
--- kernel/arch/ia32/Makefile.inc	(revision 5719f6ddbbd629f7eb5c571fcbcbd7a87a3565c7)
+++ kernel/arch/ia32/Makefile.inc	(revision 61bacded878f459ea118aa64c4d85fac0742a54a)
@@ -75,5 +75,5 @@
 endif
 ifeq ($(MACHINE),core)
-	FPU_NO_CFLAGS = -mno-mmmx -mno-sse -mno-sse2 -mno-sse3
+	FPU_NO_CFLAGS = -mno-mmx -mno-sse -mno-sse2 -mno-sse3
 	CMN2 = -march=prescott
 	GCC_CFLAGS += $(CMN2)