platform: fix implementation of clGetPlatformIDs

see here: https://www.khronos.org/registry/cl/sdk/1.0/docs/man/xhtml/clGetPlatformIDs.html