Wenn ich via F12 das Laufwerk für Linux auswähle -> kein Problem feststellbar.
Interessanterweise durfte ich jetzt beim Boot-Stick feststellen, daß OC (0.88) sein Bootlog "anlegt" - es wird entsprechende Datei erzeugt...
Wird dir denn beim druck auf F12 auch das Laufwerk für die OC EFI angezeigt?