I hit the same bug in another context and found a solution. See Bug #231746 You can find there a precompiled xen kernel which includes the fix.
I hit the same bug in another context and found a solution. See Bug #231746
You can find there a precompiled xen kernel which includes the fix.