opencl: fix a bug in device priority settings