I'm not enough of a kernel expert to say either. We were reduced to empiracal results and, since going to DirectFB, we've had 0 pixel corruption or seg fault behavior that couldn't be attributed to our application and fixed. We (5 of us) literally spent weeks looking at this. The group included a PhD that has extensive kernel experence and four VERY experienced Linux developers (driver and application level) and could never identify the issue.
I totally agree that the problem appears to be a memory protection issue (mmap). However having now had a stable application with a complex GUI (50+ GUI pages with fast changing data and animations) running for over a year on this kernel, with the only change being Microwindows Vs DirectFB, I feel pretty comfortable with this kernel (after our fix anyway!!).
I would be VERY interested if you find a kernel issue. Please post if you do.