Si, eso ya lo conocia, aunque nunca habia usado esa opcion. Yo soy de los que usan ncurses para configurarlo y guardan el archivo de configuracion.
Y claro, como este kernel procede de la propia instalacion de debian y no de una instalacion del usuario, me tenia descolocado.
