Comment 24 for bug 1573231

I built a test kernel with the patch suggested by Thomas Gleixner. The test kernel can be downloaded from:

http://kernel.ubuntu.com/~jsalisbury/lp1573231/

Can you test this kernel and see if it resolves this bug?