Neste específico e misterioso caso o aparelho continua sendo /55 (mas não totalmente), e pede o nome do arquivo errado.
O que eu fiz foi renomear o arquivo do firmware certo para o nome que ele queria, aí então ele se atualizou e segue funcionando.
(Apesar de continuar sendo /55, ele fica com algumas sequelas oriundas da confusão com o /37, e, por exemplo, a tabela do remoto do /37 é usada, estragando a função 'Subtitle' da tecla 'Subtitle/Display', que opera somente como 'Display'. Tive que consertar isso com gambiarras no firmware.)