Nie mam na myśli boot-menu (którym można zrobić sobie chwilowo override ustawień), być może w tym BIOSie akurat to tak nie wygląda lub nie ma takich opcji wcale (np. u mnie w TC241 też nie ma opcji konfiguracji która partycja EFI ma być domyślna).
Popup zaprezentowałem np. na zrzutach ekranu MSI
