Index: kernel/arch/xen32/src/xen32.c
===================================================================
--- kernel/arch/xen32/src/xen32.c	(revision deaa22f01020fc8d432df92b990024d02d453083)
+++ kernel/arch/xen32/src/xen32.c	(revision bf785695fd4bba71c226dd784d5e3107512828df)
@@ -119,4 +119,7 @@
 		SET_FRAME_FLAGS(ptl3, PTL3_INDEX(va), PAGE_PRESENT | PAGE_WRITE);
 	}
+	
+	/* Put initial stack safely in the mapped area */
+	stack_safe = PA2KA(PFN2ADDR(meminfo.start + meminfo.reserved));
 }