¿Dónde puedo obtener el Android 4.0 (Ice Cream Sandwich)núcle ¿código fuente

Mientras que esta podría ser una pregunta estúpida que algunas personas han hecho antes, Parece que no puedo encontrar una respuesta adecuada en ninguna parte porque

Google decidió ser realmente útil y redirigirandroid.kernel.org ahttp://source.android.com/source/downloading.html, que incluye cada parte de Androidaparte del núcleo. No entiendo la lógica detrás de eso.

git clone https://android.googlesource.com/kernel/common.git hace algo extraño y crea un @ masi (600 MB +) .git carpeta sin crear el árbol de origen. No me importan dos cosas sobre el repositorio de git, Solo necesito el árbol fuente.

odas las horquillas del núcleo en GitHub están horriblemente desactualizadas.