Obrigado ao WinEunuuchs2Unix pelo seu comentário. Reparo de inicialização parece ter feito o truque.
Eu segui as instruções no link e recebi a mensagem "instalação bem-sucedida", mas quando reiniciei minha máquina, não encontrei nenhuma nova opção de inicialização na lista EFI. Desculpe, não posso incluir uma captura de tela, mas não sei como tirar fotos de 2 MB no meu telefone.
Obrigado ao WinEunuuchs2Unix pelo seu comentário. Reparo de inicialização parece ter feito o truque.