Si no recuerdo mal, la ps3 la configuras o para HDMI o para cable AV, por lo que si lo tienes por AV no emite nada por HDMI y viceversa. Realmente no reinicias la consola completamente, sólo es para elegir el sistema de video.
Es muy sencillo:
Con la PS3 en standby (luz roja encendida), pulsas y dejas pulsado el botón de encendido unos segundos hasta que suene un segundo pitido (el primero de encendido y el segundo a los 3 segundos) una vez hecho esto, la ps3 detecta las conexiones que tengas puesta, en este caso ya sí te reconocerá el hdmi, lo configuras siguiendo los pasos y listo.
El dia que quieras volver a ponerlo por AV, la misma operación, pero conectando el cable AV.
Un saludo