It looks like this is because CONFIG_XEN_PRIVILEGED_GUEST, which is used to check whether or not a kernel is a Xen kernel, is no longer an accurate determinant. update-grub needs to either find some other way of identifying Xen-only kernels, or this code should be dropped.
It looks like this is because CONFIG_ XEN_PRIVILEGED_ GUEST, which is used to check whether or not a kernel is a Xen kernel, is no longer an accurate determinant. update-grub needs to either find some other way of identifying Xen-only kernels, or this code should be dropped.