Comment # 4 on bug 88758 from Lorenzo Bona

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?