I'm sorry, I didn't have much time for this recently and Xen is not really my area of expertise so I can't promise any quick progress. I'll try to find out what tracing could be useful and come with a test kernel that would tell us more about what went wrong.