There's now a `petsc` module in Firedrake that handles the petsc4py initialisation, so this is actually correct.