Index: kernel/arch/ia32/Makefile.inc
===================================================================
--- kernel/arch/ia32/Makefile.inc	(revision a228687bdb3ff8f3fe044b737274319e765610e6)
+++ kernel/arch/ia32/Makefile.inc	(revision 6c4ff8ad660ee2fa9eec48dff3347ec165565798)
@@ -71,6 +71,6 @@
 	CONFIG_HT = n
 endif
-ifeq ($(MACHINE),prescott)
-	CMN2 = -march=pentium4 -mfpmath=sse -mmmx -msse -msse2 -msse3
+ifeq ($(MACHINE),core)
+	CMN2 = -march=prescott -mfpmath=sse -mmmx -msse -msse2 -msse3
 	GCC_CFLAGS += $(CMN2)
 	ICC_CFLAGS += $(CMN2)