Index: Makefile
===================================================================
--- Makefile	(revision a710680c4299b4bf82de04a739448ab83fc1b87f)
+++ Makefile	(revision 8440473178e7f4ea175a5f64b0436319e6fee652)
@@ -112,8 +112,8 @@
 endif
 
-ifeq ($(PLATFORM),xen32)
-	KARCH = xen32
+ifeq ($(PLATFORM),ia32xen)
+	KARCH = ia32xen
 	UARCH = ia32
-	BARCH = xen32
+	BARCH = ia32xen
 endif