The quickest test would be to boot a test machine on the old xen kernel and see if it works. That would be 2.6.18-1.2869.fc6xen
Same result - it does not seem to be the 2.6.19 kernel. I'll try on another machine, but I am not very confident.
Thanks Markus
