Index: kernel/arch/amd64/Makefile.inc
===================================================================
--- kernel/arch/amd64/Makefile.inc	(revision 411b6a6f0339f865eaac5f492f2277fdfbbd5fcc)
+++ kernel/arch/amd64/Makefile.inc	(revision c247262e870426717fb30c3998c3a9eeed2d71b1)
@@ -47,5 +47,5 @@
 #
 
-ifeq ($(MACHINE),opteron)
+ifeq ($(PROCESSOR),opteron)
 	CMN2 := -march=opteron
 	GCC_CFLAGS += $(CMN2)