Oh, noch ein Fehler meinerseits. Genau das wollte ich doch, dass GRUB nicht nachher 6 nutzlose Einträge hat.
Naja, die Einträge kann man ja sicher editieren. Also wo liegt das Problem? ;-)
Genau das wollte ich doch erfragen: Wo kann man diese Einträge editieren?