Wenn ich dann Linux starten will, muss ich beim Starten des PC die Taste F12 drücken um ins Boot- Menue zu kommen und dort dann die Platte mit Linux auswählen. Ja, ein wenig umständlich, aber wie ...