Index: kernel/arch/ia32/Makefile.inc
===================================================================
--- kernel/arch/ia32/Makefile.inc	(revision 8ecba18be536a7e7a923036b6b1f76b6af2a9a82)
+++ kernel/arch/ia32/Makefile.inc	(revision 81614543eeec13d8f5eeb28b8130fc37c6ba53bf)
@@ -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)
Index: kernel/arch/ia32xen/Makefile.inc
===================================================================
--- kernel/arch/ia32xen/Makefile.inc	(revision 8ecba18be536a7e7a923036b6b1f76b6af2a9a82)
+++ kernel/arch/ia32xen/Makefile.inc	(revision 81614543eeec13d8f5eeb28b8130fc37c6ba53bf)
@@ -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)