--- /dev/null
+--- update-grub.orig 2008-04-22 01:13:34.000000000 -0400
++++ update-grub 2008-04-22 01:13:13.000000000 -0400
+@@ -1036,10 +1036,10 @@
+
+ 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=""