Letzteres ist der Fall, diese Option rutscht aber leider nach erfolgtem Bootvorgang jeweils ganz nach hinten in der Rangfolge, d.h. sie steht dann hinter allen Festplatteneinträgen und wird beim nächsten anstehenden Boot gar nicht mehr versucht 🙁 Ein USB-Stick steht komischerweise nicht in dieser Rangfolge, den kann man ein oder ausschalten und er kommt wahrscheinlich immer vor allem anderen. (Netzwerk-Boot gibt's ja auch noch.)