Yes. IMHO because the actual OpenGL driver is not free software and thus not easily fixable it is important that it is not accepted in mainline Linux if only for strategic reasons.
I found this post by David Airlie http://airlied.livejournal.com/76383.html and quote part of it:
"Will this mean the broadcom kernel driver will get merged?
No."
Posted Oct 26, 2012 0:44 UTC (Fri) by dlang (✭ supporter ✭, #313)
[Link]
the good news is that he is not the one who makes that decision, Linus is. and as noted elsewhere in this thread, Alan Cox doesn't see a problem with merging this.
Raspberry Pi VideoCore driver code released
Posted Oct 26, 2012 10:07 UTC (Fri) by smurf (subscriber, #17840)
[Link]
I always thought fundamentalism belongs in the realm of Religion, not Kernel Programming.