Edit:
Comprei um cartão Sd novo de 32gb, dessa vez da marca sandisk, funcionou perfeitamente, aparentemente cartões evo da samsung apresentam erros com o sitema.

Bom, comprei meu rapberry pi 3 B e um cartão sd class 10 de 32gbs, coloquei o Recalbox 4.0.1 e ao tentar atualizar para a versão 4.0.2 eu não consigo, pois quando tento acessar o menu system settings ele simplesmente fica em tela preta. Alguém tem alguma ideia de como resolver esse problema ou alguém sabe como atualizar manualmente para a versão mais recente?

Obs: não encontrei os arquivos para atualizar manualmente o OS (nem para versão 4.1, nem para versão 4.0.2)