Nur das BIOS weiß Bescheid, dass zwei Platten im Rechner stecken.
Ja, und Mucks Start würde auch nicht so funktionieren, wenn nur 1 Platte erkannt würde, dann könnte er z.B.nur zwischen CD und 1. Platte hin und herschalten.
Mit F11 wird nur die Bootreihenfolge umgeschaltet, nicht die Erkennung der Festplatten.
Und einen Grub sollte er bei Linux auch noch installieren.
Die Auswahl der Platte mit F11 ist zusätzlich zu Grub.
Also:
Wenn was nicht erkannt wird, kann davon auch nicht gebootet werden.