[PATCH 4/4] opencl: Update to OpenCL 1.2.