Comment 18 for bug 1275879

Diego: I've been reviewing this patch with newer kernel versions, and I don't believe it should actually make any difference there (and would probably add a bug as well). Have you tried 14.04 to see if the problem still exists there?