Pues en base a mi experiencia y tras animarme a probar varios firmware oficiales (110k4, 111k4, 112k4), en mi caso he optado por quedarme con la versión 110k4, ya que era el que mejor me iba.
Siempre lo he actualizado siguiendo las indicaciones al pie de la letra de la página androidpc.es. Respecto al método de actualización del PC, en mi caso, he pulsado primero el botón RESET y luego he conectado el cable USB, reconociéndolo siempre a la primera. Quiero recordar que la primera vez que lo hice pudo tardar algo más porque se instalaron los drivers pero en las sucesivas ocasiones fue instantáneo.
Por otro lado, quiero que la gente también sepa que la función de HDMI-CEC, funciona perfectamente en la versión oficial 110k4, lo único que hay que hacer es cambiar el cable que trae por defecto, ya que no es de buena calidad y no soporta esta función.
Saludos.