Upgrade to Karmic installs -vritual kernel not usable as Xen DomU

[Markus Schönhaber]

Hello,

I just upgraded one of my testing Xen DomUs from Jaunty to the Karmic
RC. During the upgrade process linux-image-virtual got upgraded pulling
in linux-image-2.6.31-14-virtual. The latter installed the
vmlinuz-2.6.31-14-generic-pae kernel image (instead of ...-server) which
is not usable as a DomU kernel.
I can't imagine that the upgrade is meant to leave the VM unbootable,
but rather I did miss something obvious. Can someone please point my in
the right direction?

-- 
Regards
  mks