Para que sirve la opcion "kernel source code" en htcdev.com

[yukoO]

Hola amigos alguien sabe para que sirve la opcion kernel source code en la pagina htcdev.com quisiera saber si de ahi puedo bajar el kernel original de un inspire 4g at&t
ace xa ship gracias de antemano y saludos. :ok: