me pasa algo parecido.
hasta hoy controlaba el deco con el mando de mi samsung.
he desconectado el hdmi del deco para conectar otro aparato y al volverlo a conectar se habia desconfigurado.
ahora si busco iris para añadirlo al one remote solo me aparecen 9600 y 9700, nada del 9900 por lo que no lo puedo añadir.