Comment 26 for bug 825919

You can either keep that kernel installed or use the dkms package on the other bug, which will get automatically rebuilt when you install new kernels. We probably won't have a fix in the official kernels for a little while yet.