si, sul cd2 trovi un kernel da intallare tipo pacchetto...

secondo me però una soluzione migliore può essere ricompilare partendo dai sorgenti...
tra l'altro seguendo la guida di pierluigi p (qui) diventa quasi facile...