la prima cosa che farò sara dare il comando dpkg con insserv e
modificare le partizioni come detto in questa guida verso la fine:
http://wiki.debian.org/DebianEeePC/Boot
il Boot Booster del bios:
"The Eee Pc bios has a feature called Boot Booster, which seems to do
some caching to shorten the time needed to execute grub, saving up to
3 seconds.
To enable it from the bios menu, you need to have a dedicated EFI
partition on you first SSD (/dev/sda); if you have deleted it while
installing Debian, you'll need to shrink the existing one(s) to make
room for it. The Eee ships with a 16Mb partition, but there are
several reports that 8Mb are enough; it has to be type 0xef and can be
either the first or the last (or most probably in any position)."
quindi la mia intenzione è di creare una piccola partizione per vedere
se la voce nel bios ritorna.
vi farò sapere, se qualcuno l'ha già fatto prego lo faccia sapere.