Comment 8 for bug 965840

Update: As far as I can tell the patched kernel works with respect to this particular bug; I just can't use it because the board seems to lock up (for presumably unrelated reasons) when I leave it running overnight. no output on the serial console even, just stops responding and has to be reset.