Obrigado pela pronta resposta.
Não consegui verificar isso porque agora estavamos a tentar fazer update do firmware e começou-nos a dar de novo o erro da com serial already in use.
Como resolver este erro? Vou ter de formatar de novo?
Dos dois firmwares devo usar o file que se chama bootloade_usb...?