[petsc-dev] OpenMP Support