no hay porque asusterce. El kernel source esta en los discos comunes de la distribucion que tienen.
se instala con un administrador de paquetes rpm que tienen en el toolbar<configuracion<paquetes<install software.
ese es mi caso. Supongo que el suyo sera algo similar.