Fix incorrect kernel argument type
Add CLI option to limit number of OpenCL devices used