Где взять Android 4.0 (Ice Cream Sandwich)ядро исходный код?

Хотя это может быть глупый вопрос, который некоторые люди задавали раньше,Я не могу найти подходящий ответ нигде потому что:

Google решил быть действительно полезным и перенаправитьandroid.kernel.org вhttp://source.android.com/source/downloading.html, который включает в себя каждую часть Androidкроме ядра. Я не понимаю логику этого.

git clone https://android.googlesource.com/kernel/common.git делает что-то странное и создает массивный(600 МБ +) .git папка без создания исходного дерева. Я не наплевал на мерзавец-репо,Мне просто нужно исходное дерево.

Все ветки ядра на GitHub ужасно устарели.