[petsc-dev] GPU and multi-core threaded support in next release?