+++ /dev/null
---- /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)