Quindi, devo dedurre che non si può evitare, in caso di # grub2-mkconfig -o /boot/grub2/grub.cfg, la duplicazione dei menuentry già presenti?
Ciao.
si può evitare:
# gedit /etc/default/grubinserisci la linea:
GRUB_DISABLE_OS_PROBER=truesalva chiudi, poi
# grub2-mkconfig -o /boot/grub2/grub.cfgPerfetto. Ho inserito la riga e aggiornato grub. Ora i menuentry presenti in /boot/gub2/grub.cfg sono solamente quelli relativi ai SO: installati ed ai Kernel contenuti negli stessi, ma in singola ricorrenza per ciascuni di essi. Curiosità: Come mai fc16 contiene ben tre kernel: il 3.2.9-2, il 3.2.9-1 ed il 3.1.0-7? Io li ho ridotti a 2, il primo e l’ultimo. Ho fatto male?
Ciao.
bene.
che abbia più kernel è normale ( lo aggiunge quando aggiorni),
il sistema ne mantiene fino ad un massimo di tre, cancellando via via il più “vecchio”.
ti consiglio sempre di tenerne uno di scorta nel caso in cui l’ultimo kernel dia problemi.
Grazie. In questa discussione ho veramente imparato tanto! 
Ciao.
de nada