Fix clGetPlatform* in OpenCL stub