Comment 3 for bug 888762

Certainly, I will do that, though it may take a while as the problem is rather irregular, so I won't just be able to say straight off that it is solved or not (plus there is always the Heisenbug factor). And as I said, if you can think of any ways I could get more information about this to debug it myself please let me know! I do have some kernel debugging and development experience.