Wenn Windows 10 installiert ist, kann man auch beim Klicken auf "Neustarten" die Umschalt- bzw. Shift-Taste gedrückt halten und dann in dem Menü für den erweiterten Start unter Problembehandlung > Erweiterte Optionen > UEFI-Firmwareeinstellungen auswählen.