https://bugs.freedesktop.org/show_bug.cgi?id=88758
--- Comment #4 from Lorenzo Bona lorenz.bona@gmail.com --- Mmm I think I've found the problem.
I've tried booting up my system (debian sid) with the "stock" kernel (3.16-ckt4-1) and I get almost 70FPS in settings and in game. Wow that's good!
So, could be a kernel regression or a dumb kernel configuration?