[PATCH 03/14] opengl32: Add support for a few more extensions.