Index: boot/arch/ia32xen/Makefile.inc
===================================================================
--- boot/arch/ia32xen/Makefile.inc	(revision 9d8b843538b9dbae5186021f20e29e0fdea80c5a)
+++ boot/arch/ia32xen/Makefile.inc	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
@@ -45,5 +45,5 @@
 ifeq ($(CONFIG_DEBUG),y)
 	cp arch/$(ARCH)/grub/menu.debug.lst arch/$(ARCH)/iso/boot/grub/menu.lst
-	cp arch/$(ARCH)/grub/xen.debug.gz arch/$(ARCH)/iso/boot/xen.gz
+	cp arch/$(ARCH)/grub/xen.debug.gz arch/$(ARCH)/iso/boot/
 else
 	cp arch/$(ARCH)/grub/menu.lst arch/$(ARCH)/iso/boot/grub/
Index: boot/arch/ia32xen/grub/menu.debug.lst
===================================================================
--- boot/arch/ia32xen/grub/menu.debug.lst	(revision 9d8b843538b9dbae5186021f20e29e0fdea80c5a)
+++ boot/arch/ia32xen/grub/menu.debug.lst	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
@@ -4,5 +4,5 @@
 title=HelenOS/ia32xen
 root (cd)
-kernel /boot/xen.gz noreboot console=com1,vga com1=auto,8n1,0x3f8
+kernel /boot/xen.debug.gz noreboot console=com1,vga com1=auto,8n1,0x3f8
 module /boot/kernel.bin
 module /boot/ns