I think all update kernels should have the fix in place so if you could just verify that the newest update kernel has the fix and check if it resolves the problem.