(PS3) frontend_ps3_process_args - properly sets verbosity back to original verbosity
before returning