¿Cómo obtener una lista completa de archivos compilados del kernel de Linux?

Estoy trabajando en diferentes proyectos de Android y necesito configurar el proyecto en Source Insight para el árbol de fuentes del núcleo diferente. Hay mu...