I'll put it another way:
The ONLY people that can write code that runs on the GPU is the manufacturer (Broadcom).
The manufacturer provides users info so we can make OpenGL API calls. We, the users, don't get to write any code that runs on the GPU. All we can do is send requests to draw stuff. We can try and fake some elements of parallel processing but there are inherent limitations that don't make it worthwhile.
I think your colleagues assement on your linked thread of Bitcointalk of this thread:
pretty much sums up the situation - when you re-read it, bear in mind that JamesH is a Broadcom employee and therefore really knows his stuff about such things.
However, if there is going to be some money offered for anything, I'll start pledging for porting the X display driver to OpenGL ES for the RaspberryPi.
Yes I have started a bounty reciving donations in litecoins, bitcoins and namecoins which all can be sold for cash. If you take the project on we can also list it on - http://litebit.co/
- a major place to ask for LTC/BTC donations and support. We could also ask for Devcoin - https://en.bitcoin.it/wiki/Devcoin
- funding and with this being an alt-currency opensource project I can see lots of votes coming our way.