On 09/12/2014 22:30, Siegmann Joseph wrote:

Would you mind sharing what it would take to correct this issue… is there a file I could just replace until a patch is released?

We simply applied David Vrabel's patch from 8/12/14 to a stock 3.17.3 kernel we were running in the DomU and it fixed the problem.