Formateo rapido desde pc te vale
Al volverlo a poner en la PS3 el firmware tiene que hacer particiones nuevas y ahi se crean todos los archivos nuevos limpios
--------
Leyendo tu mensaje creo que ya lo sabes, pero lo comento por curiosidad
La explicacion larga de porque es necesario formatear el hdd es porque al instalar un firmware nuevo (cfw o ofw) hay archivos que se actualizan pero contienen informacion antigua (pueden contener informacion de los firmwares anteriores que has tenido)
Y como es muy dificil saber que se ha modificado cuando estabas en cfw lo mejor es formatear el hdd
Ademas hay listas de los juegos que has ejecutado, de los .sprx que se han ejecutado y alguna cosa mas que seguramente nadie se ha dado cuenta
Suma a esto las modificaciones que hayan podido hacer los programas homebrew, que igual han dejado un rastro de carpetas o archivos "no oficiales"
Por todas esas razones, si quieres estar 100% seguro de que la consola esta "limpia" lo mejor es formatear el hdd
La unica putada son los savegames (algunos los puedes exportar a USB y luego importarlos en el ofw), y los trofeos que esos se pieden (no hay ninguna forma oficial de restaurarlos en ofw, ademas no creo que sea muy seguro, sony va a mirarlos especialmente)
La unica forma de mantener los savegames y los trofeos es que pagues un mes de PSN+ que tiene almacenamiento "en la nube" de savegames y trofeos, los subes y luego los restauras desde la nube
Pero esto es arriesgado, claro, porque los tendrias que subir desde cfw y ahi te podrian pillar
-------------
Edit:
Y cuando instales el ofw.... instalalo 2 veces seguidas
En el chip SYSCON se guarda un hash de los 2 ultimos firmwares que has tenido instalados... (y no es buena idea que quede guardado el del cfw anterior). Al instalar el ofw 2 veces seguidas quedan los 2 hashes del syscon que coinciden con el ofw actual que tengas instalado
Nisiquiera se si sony puede comprobar estos hashes del SYSCON desde online, pero por si acaso es mejor hacerlo