MI spiegate in due parole come posso ricompilare il kernel per alleggerirlo un po' ?Grazie (Ho seguito le istruzioni di un howto che diceva di utilizzare make menuconfig in /usr/src/linux ma non funziona!!?)