Exacto actualiza con la misma (Como bien dices no hay otra), pudiera ser que en el proceso de copia del firm en fabrica hubiese habido un pequeño fallo. Eso si la actualizacion NO hay que hacerla desde el menu de configuracion, sino mediante el pulsador "U" trasero.
Mira las instrucciones de actualizacion del icube3800, que son las mismas que para el 3900.