Pkg xen devel - Dec 2007 - What happened to xen-ioemu 3.1.x package ?

Hi.

I am trying to setup a Debian etch box with Xen to run HVMs. 
Unfortunately, Xen 3.0 seems to have some problems mainly with 
/etc/init.d/xendomains (stop doesn't work properly) and the number of vcpus.
I wanted to try Xen 3.1 from etch-backports but couldn't find ioemu 3.1 
(required for HVM, exists in Ubuntu Gutsy).
I was not able to find any explanation on the Web. So, is there a reason 
and is it planned to add it soon?
Same question for the 2.6.22 kernel which doesn't have the xen flavor 
[1]. This kernel was supposed to fix a bug in the Broadcom BCM5708 
driver with Xen.

Thanks.
Jean-Gui

[1] http://packages.debian.org/etch-backports/linux-image-2.6