Just for the record:
In my case (lenovo R61, Ubuntu 12.04) going back to the nouveau driver was the best solution: No more crashes, reasonable performance.