Index: boot/arch/ia32xen/grub/menu.debug.lst
===================================================================
--- boot/arch/ia32xen/grub/menu.debug.lst	(revision 57ce359ffbe02e57f3174daac33abbe9e660d9dc)
+++ boot/arch/ia32xen/grub/menu.debug.lst	(revision 9ab9c2ec85cf371e50f3b815722f6586f78add5b)
@@ -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