Primero debes conseguir los fuentes del núcleo y descomprimirlos en /usr/src/linux.