[petsc-dev] OpenCL 2.0 provisional