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