OpenCL stub: fix get device IDs and device list

Update wrappers test accordingly