OpenCL device selection from command line