--- /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
--- /usr/sbin/update-grub.orig	2009-05-03 03:38:48.000000000 +0000
+++ /usr/sbin/update-grub	2009-05-03 03:39:57.000000000 +0000
@@ -1419,16 +1419,6 @@
 		is_xen=
 	fi
 
-    if [ "$indomU" = "false" ] && [ "$is_xen" ]; then
-        # We aren't running in a Xen domU, skip xen kernels
-        echo "Ignoring Xen kernel on non-Xen host: $kern"
-        continue
-    elif [ "$indomU" = "true" ] && ! [ "$is_xen" ]; then
-        # We are running in a Xen domU, skip non-xen kernels
-        echo "Ignoring non-Xen Kernel on Xen domU host: $kern"
-        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)