Eu encontrei.
Havia outro submenu - Prioridades do BBS do disco rígido.
Eu fui lá e selecionei o USB e desativei os outros.
Acabei de instalar o Ubuntu em um mini-PC Gigabyte. Agora eu quero arrancar a partir do USB (para desfazer a instalação e começar de novo). O PC não inicializa mais a partir do USB (mesmo que eu coloque primeiro na ordem de inicialização e desative o HD).
Isso tem algo a ver com o UEFI?
Eu encontrei.
Havia outro submenu - Prioridades do BBS do disco rígido.
Eu fui lá e selecionei o USB e desativei os outros.