求最新的Andriod 4.0 kernel 下载地址

现在在google 的官网上都下不了Andriod 4.0kernel ,哪为知道哪里有下,请告诉一下,十分感谢  --------------------编程问答-------------------- 使用：git clone https://android.googlesource.com/kernel/common.git

kernel的源代码应该到个手机厂商处下载。头文件可以按如下方法下载。

git clone https://android.googlesource.com/platform/external/kernel-headers.git

补充：移动开发 ,  Android