Comment 113 for bug 1039143

Sry forgot to say, the current kernel id you want is 3.5.0-34.