Wir starten mit:
cd /etc/grub.d
ls -ll
Der Eintrag XX_os-prober ist z.B. 30_os-prober und XX_linux ist 10_linux.
Dann muss der os-prober eine kleinere Nummer als _linux haben.
Dann eingeben:
sudo mv 30_os-prober 09_os-prober
Die Passwd Eingabeaufforderung richtig beantworten. Mit
ls -ll
kontrollieren. Grub neu schreiben mit:
sudo update-grub