--- /dev/null
+--- update-grub.orig 2008-05-03 23:30:37.000000000 -0400
++++ 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