Pues por probarlo no pierdes nada.
(Mientras tengas pandora al lado por si sufres un brick (muy raro))
Si no te atreves, prueba a sustituir el topmenu_plugin.rco , k solo causaria semi-brik (Si no sirviera), y sustituyendole por el original volveria a funcionar la PSP.
De todas formas, lo mas seguro que sirvan los archivos de tuneo de 3.71 para 3.72