S950D hat einen Mali 450. Der kann nur OpenGL/ES 2.0 und glGenVertexArrays ist erst in der Spezifikation für OpenGL/ES 3.0 enthalten.
Ich vermute, dass der libmali-blob dafür keine Unterstützung hat. Wenn dem so ist, brauchst du entweder einen blob, der diese Extension drin hat - wobei ich nicht glaube, dass du da fündig wirst, oder man schreibt openglosd.cpp so um, dass es "nur" OpenGL/ES 2.0 Befehle nutzt. Das habe ich für den opengl Teil in softhddevice-drm-gles gemacht, da ich mein ersten Tests mit Mali400 gemacht habe. Für die paar Rechtecke reicht der Befehlssatz von GLES 2.0 m.E. völlig aus.