petsc: bump revision for open-mpi

Fixes #1511.