Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 7dcf22a389ae4373e29fc2686bf9bae2ac3a8d39)
+++ kernel/Makefile	(revision 8607db8973636c4d5002631c147efc77bc9fd967)
@@ -109,5 +109,5 @@
 	endif
 	
-	ifeq ($(ARCH),xen32)
+	ifeq ($(ARCH),ia32xen)
 		DEFS += -DCONFIG_VESA_WIDTH=$(CONFIG_VESA_WIDTH)
 		DEFS += -DCONFIG_VESA_HEIGHT=$(CONFIG_VESA_HEIGHT)