ffc: port to OpenCL