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