This feels odd to me. Does the driver keep the pointer around (and continue to use it) after eglFinalize?