Bug#763322: update-grub does not recognise kernel 3.16 as xen dom0 capable

[Claudius Peschke]

Package: grub
Version: 0.97-68

The command /usr/sbin/update-grub does not create a boot entry for xen 4.1 with
dom0 kernel 3.16-2-amd64 in /boot/grub/menu.lst. The reason is that kernel 3.16
has no Kconfig symbol XEN_PRIVILEGED_GUEST anymore (see
https://lkml.org/lkml/2014/2/18/201) and update-grub greps for this macro.

The following patch fixes this problem for me. But I have no idea about the
relationship between CONFIG_XEN_PRIVILEGED_GUEST and CONFIG_XEN_DOM0 on much
older kernels.

--- a/debian/update-grub	2014-09-29 11:25:30.000000000 +0200
+++ b/debian/update-grub	2014-09-29 10:52:18.745304173 +0200
@@ -766,7 +766,7 @@
 xen0Kernels=""
 # First kernels with xen0 support.
 for ver in `grep -l CONFIG_XEN=y /boot/config* | sed -e s%/boot/config-%%`; do
-  if ! grep -q CONFIG_XEN_PRIVILEGED_GUEST=y /boot/config-$ver ; then
+  if ! grep -q -E '(CONFIG_XEN_PRIVILEGED_GUEST|CONFIG_XEN_DOM0)=y'
/boot/config-$ver ; then
       continue
   fi
   # ver is a kernel version

I am using Debian Wheezy with kernel 3.16 and some other packages from Debian
Jessie.

Regards,
   Claudius Peschke