--- /usr/sbin/update-grub.orig	2008-05-03 23:30:37.000000000 -0400
+++ /usr/sbin/update-grub	2008-05-03 23:30:55.000000000 -0400
@@ -911,13 +911,6 @@
 		is_xen=
 	fi
 
-	if [ ! "$in_domU" ] && [ "$is_xen" ]; then
-	  # skip xen kernels
-          continue
-        elif [ "$in_domU" ] && ! [ "$is_xen" ]; then
-	  # skip non-xen kernels
-	  continue
-        fi
         kern="/boot/$kern"
 	newerKernels=""
 	for i in $sortedKernels ; do
--- /boot/grub/menu.lst.orig	2008-05-04 03:17:31.000000000 -0400
+++ /boot/grub/menu.lst	2008-05-04 03:19:09.000000000 -0400
@@ -59,7 +59,7 @@
 ## e.g. kopt=root=/dev/hda1 ro
 ##      kopt_2_6_8=root=/dev/hdc1 ro
 ##      kopt_2_6_8_2_686=root=/dev/hdc2 ro
-# kopt=root=/dev/hda1 ro
+# kopt=root=/dev/hda1 ro console=ttyS0,9600,8n1
 
 ## default grub root device
 ## e.g. groot=(hd0,0)
