Added details about the OpenCL port