Avô nascido no Brasil mas viveu vida adulta em Portugal - é possível que seja português?

janainamachado

Olá! Já tenho todas as certidões dos meus bisavós nascidos em Portugal e com isso, conseguiria tirar a nacionalidade da minha mãe. Porém me surgiu uma dúvida, pois meu avô, filho dos portugueses, nasceu no Brasil e voltou com os pais para Portugal com idade aproximada de 2 anos de idade em 1924, e lá viveu até 1942, quando mudou-se novamente para o Brasil, dessa vez definitivamente. Já encontrei a certidão de nascimento dele no Brasil mas gostaria de saber se é possível que ele seja cidadão português, e se sim, se alguém sabe como posso procurar essa informação.

O nome dele era Arsílio Gomes Machado (as vezes escrito como Arcílio), filho de Belarmino Joaquim Machado e Maria da Encarnação. Seus pais foram nascidos na freguesia de Lusinde, concelho de Penalva do Castelo, e é provável que seja lá que ele tenha vivido durantes os anos que morou em Portugal.

Obrigada desde já!