--- 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