As far as I know Platform eXtended library(http://asphyre.net/products/pxl) is the only one that have support for OpenGL ES on Raspberry PI. Whether it uses hardware acceleration for graphics or not that is beyond my knowledge.

So I guess it would be best if you get in contact with LP (http://www.pascalgamedevelopment.com/member.php?112-LP) which is the author of Platform eXtended Library and exchange experience and knowledge gained when dealing with Raspberry PI.