Following the OpenCL standard more closely for clGetDeviceIDs.