It would be better to have a newer 3.x kernel with up to date binary drivers for GPU and DSP (with support for Vsync!)