Hola,
Sí he descomprimido el archivo .bin.
El USB está formateado en FAT32. Tengo el archivo con la lista de canales y sí lo reconoce.
Aunque no evite los cortes me gustaría actualizar el firmware, pero sigo sin ver el archivo en el deco, no sé si puede ser porque pesa demasiado, son 8 MB cuando antes eran 4.