Alors si tu as pas de /boot/config (ce qu'il me semble) essaye la 3ème méthode que j'ai cité pour ne pas avoir a configurer a la main le kernel ^^