Hola
He descargado el archivo comprimido, están los dos archivos que comentas, he copiado a un USB el archivo pequeño, lo he metido en el deco para para actualizarlo y sigue con el mismo problema