Eso que apuntas es el kernel.

Tienes que bajar el paquete GC_v0.8.0 y sus updates. El kernel ya va integrado.

Pero recuerda pasar por odin con el pit modificado por sí las moscas.

Un saludo