Hello,
I dug a little further and what irritated me was this post by JoeDavis from 6 years ago where he claims that the behaviour of glFlush and glFinish ist platform dependent:
I know it is possible to influence the behaviour of these functions for certain platforms, usually via powervr.ini. However, does PVR require board designers to provide standard-conformant behaviour as default?