Finally xen-sources-2.6.31-r7 have been released at gentoo-xen-kernel developers website. It would be very interesting to give it a try compiling them on Debian too. I personally tried the xen-sources-2.6.29-r4 obtaining great results (on Gentoo Linux, of course).