Pkg xen devel - Feb 2019 - Bug#773561: Installing "xen-linux-system-amd64" on jessie fails

I had this problem, and since upgrading to Stretch it
seems it was solved, and I forgot to report it again. Please close it,
thanks.

IIRC the issue was somewhere in the context of the renaming of the meta-package
for Xen from "xen-linux-system-amd64" to "xen-system-amd64"
and, i believe, as my systems run now Debian Stretch with Xen 4.8.5, has been
resolved with the Release of Debian Stretch.