Bug#469578: 10_linux creates xen boot entries that don't work

[Gavin Bravery]

Package: grub2
Version: 1.96+20080228-1
Severity: wishlist

--- Please enter the report below this line. ---
Basically this:

list=`for i in /boot/vmlinu[xz]-* /vmlinu[xz]-* ; do
        if grub_file_is_not_garbage "$i" ; then echo -n "$i " ; fi
     done`

Will list any vmlinu* entry, including xen kernels... ideally it should
exclude xen, as they will have to be handled differently.

--- System information. ---
Architecture: i386
Kernel:       Linux 2.6.24-1-686

Debian Release: lenny/sid
  500 unstable        web-proxy.sdmz.jagsiacs.co.uk 
  500 latest          web-proxy.sdmz.jagsiacs.co.uk 
  400 experimental    web-proxy.sdmz.jagsiacs.co.uk 
  200 testing         web-proxy.sdmz.jagsiacs.co.uk 
  100 stable          web-proxy.sdmz.jagsiacs.co.uk 

--- Package information. ---
Depends       (Version) | Installed
=======================-+-===========
debconf                 | 1.5.19
grub-pc                 | 1.96+20080228-1