Comment 32 for bug 1251580

I don't actually have direct access to the box in question, unfortunately, and it is a very pared down install (it is at one of our clients' locations, and they are particular enough about their network that I'm not sure the machine in question would even be able to submit that report)

I am working on obtaining similar hardware. If I manage to do so, I will be more than happy to submit such a report myself.

In the meantime, I will see if I can update the kernel using the same solution Antoine used. Thanks for the responses, guys :)