Comment 58 for bug 1239578

The fix is a modified kernel itself; there seems to be no need to separately install the kernel mentioned by Matt Ramir, as my wireless card is now fixed just by installing the kernel binary mentioned by Frances Hocutt. Thanks for the fix!