Hi, I booted my old kernel (3.8-2) and the problem has gone away, so it is definitely something in the 3.9 kernel.