oh. I thought that since the kernel in stable is the 3.2.0, mine (3.6.9) wouldn't be too outdated...
I hadn't updated it yet since last time I tried a newer kernel, some cpufreq stuff had dissapeared, and I couldn't find the files to customize the cpufreq governors...
but I'll install the latest sid kernel and try again (both the xserver AND cpufreq).
btw, in case the cpufreq files aren't there, should the 3.2.0 kernel from stable work? I mean, I know it's outdated. debian stable gets old after a while. but it's still the official debian release, so it should work, shouldn't it? Or could the problem come from an old kernel with new xorg packages?
thanks.