Yo tampoco creo que pase nada. Simplemente, al cambiar de formato la PS3 lo detectará y lo configurará de nuevo cada vez. Por lo menos así me pasó a mi, que me fui al pueblo y allí la tuve que usar por componentes, y cuando volví la conecté de nuevo en HDMI y sin problemas.
Un saludo.