Después de conectar y desconectar varias veces y hacerle otra vez el reset, el problema se ha solucionado y ya funcionan de nuevo las entradas HDMI. He hecho varias pruebas y no ha vuelto a fallar. Supongo que será un bug del firm, que se solucionará con la actualización.

Un saludo, Javier G.