Vale a pena perceber que o núcleo do ARM não é uma parte principal do SoC, mas um núcleo auxiliar preso ao lado, atrás de uma MMU do sistema. O processador principal (de inicialização) é o VideoCore, que executa a inicialização antecipada, configura o MMU do sistema e inicializa o núcleo do ARM.
Provavelmente, o bcm2708 se refere à parte principal do SoC que contém o processador e os periféricos do VideoCore (veja a tabela de SoCs do VideoCore da wikipedia , observe como nenhuma parte do bcm27xx possui um núcleo ARM).
Com base no código-fonte do driver da broadcom, tenho a impressão de que todos os VC4 SoCs são baseados no bcm2708, enquanto o VC3 é bcm2707. Porém, existem pelo menos três revisões do bcm2708 (a0, b0, c0), e a0 difere suficientemente para ter #ifdefs em todo o lugar e vários cabeçalhos. Há também uma exceção para "VC4 big island", cujo cabeçalho principal não está incluído, mas não consigo encontrar muito sobre isso, embora essa observação seja interessante.
Portanto, faz sentido que os drivers estejam se referindo ao 2708 (especialmente se eles foram desenvolvidos pela broadcom).
Não sei ao certo o que fazer com o relatório rpi2 bcm2709 ... existem inúmeras declarações de que os SoCs bcm2835 e bcm2836 diferem apenas no subsistema ARM e no endereço base periférico (ou seja, configuração MMU do sistema ligeiramente diferente), por isso parece altamente provavelmente também é baseado em bcm2708, mas as informações disponíveis são bastante limitadas. Gostaria de saber se alguém acabou de aumentar o número para lidar com o código que assume que o bcm2708 implica em um núcleo ARM11 (enquanto, na verdade, isso não implica em nenhum núcleo ARM).
Edit: O recém-lançado documento bcm2836 quad-A7 confirma que também é baseado no bcm2708.