Vale la pena darse cuenta de que el núcleo ARM no es una parte principal del SoC, sino un núcleo auxiliar atrapado en el costado, detrás de una MMU del sistema. El procesador principal (de arranque) es VideoCore, que realiza una inicialización temprana, configura la MMU del sistema y arranca el núcleo ARM.
Lo más probable es que bcm2708 se refiera a la parte principal del SoC que contiene el procesador y los periféricos de VideoCore (consulte la tabla de Wikipedia de SoC de VideoCore , observe cómo ninguna parte de bcm27xx tiene un núcleo ARM).
Basado en el lanzamiento del código fuente del controlador de broadcom, realmente tengo la impresión de que todos los SoC VC4 se basan en el bcm2708, mientras que VC3 es bcm2707. Sin embargo, hay al menos tres revisiones de bcm2708 (a0, b0, c0), y a0 difiere lo suficiente como para tener #ifdefs por todas partes y bastantes encabezados propios. También hay una excepción para "VC4 big island" cuyo encabezado principal no está incluido, pero realmente no puedo encontrar mucho al respecto, aunque este comentario es interesante.
Por lo tanto, tiene sentido que los controladores se refieran al 2708 (especialmente si fueron desarrollados por broadcom).
No estoy seguro de qué hacer con el informe rpi2 bcm2709 ... hay numerosas afirmaciones de que los SoC bcm2835 y bcm2836 difieren solo en el subsistema ARM y la dirección de base periférica (es decir, la configuración MMU del sistema es ligeramente diferente), por lo que parece altamente es probable que también esté basado en bcm2708, pero la información disponible es bastante limitada. Me pregunto si alguien acaba de encontrar el número para tratar con el código que supone que bcm2708 implica un núcleo ARM11 (mientras que en realidad no implica ningún núcleo ARM).
Editar: el nuevo documento bcm2836 quad-A7 confirma que también se basa en el bcm2708.