I also had this bug on a Dell Latitude E4200 and Dell Inspiron 1525. Installing linux-backports-modules-jaunty also solved it.
I also had this bug on a Dell Latitude E4200 and Dell Inspiron 1525. Installing linux-backports -modules- jaunty also solved it.