Ah, mea culpa! I completely forgot to mention that this depends on the MSM8939 GCC driver that has been sent a few days ago, sorry.. [1]
Have you found any additional mistakes in this patch that I should correct besides this one? [1] https://lwn.net/Articles/818486/ Konrad
