Update cmake configuration files for PETSc according to the code review