[petsc-dev] Question about MPICH device we use