Index: kernel/arch/ia32/Makefile.inc
===================================================================
--- kernel/arch/ia32/Makefile.inc	(revision c31e536bd9be6ecfa95f64ab22192e98f13dcb22)
+++ kernel/arch/ia32/Makefile.inc	(revision 67f5fbd92424ee3d6c31b93b0b515498a9a24b3e)
@@ -62,5 +62,9 @@
 endif
 ifeq ($(MACHINE),pentium4)
-	CFLAGS += -march=pentium4 -mfpmath=sse -mmmx -msse -msse2
+	ifeq ($(COMPILER),icc_native)
+		CFLAGS += -march=pentium4
+	else
+		CFLAGS += -march=pentium4 -mfpmath=sse -mmmx -msse -msse2
+	endif
 	DEFS += -DCONFIG_FENCES_P4
 endif