[PATCH v2 0/1] MR9228: opengl32: Update to the current OpenGL spec.