Comment 122 for bug 1104230

Ben, could you paste the output of:
$ apt-cache policy linux-image-$(uname -r)

We need to be sure that you are using the patched version of the kernel and not the standard Ubuntu kernel.

Thanks!