> A partire dal Kernel 3.0.0-12, non viene più aggiornato menu.lst. > Non si aggiorna neppure lanciando update-grub. > Non è un problema: ho aggiornato manualmente menu.lst e sto utilizzando il > Kernel 3.0.0-16. Di che distro parliamo, per curiosità?