[PATCH v2 1/7] opengl32: Introduce new disabled_extensions_index helper.