The good news is there's already a patch. The bad news is that the fix isn't available for all Linux distributions yet.
XDA Developers on MSN
I turned my Raspberry Pi into a pocket Linux server that runs from a power bank, and it's weirdly useful
It might just become my new travel companion ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results