Corrigido: havia uma entrada de BIOS abaixo da seleção de prioridade de inicialização que dizia "Prioridade de dispositivo EFI". Eu selecionei o "UEFI: Hitachi ..." para ser o primeiro e "ubuntu" para ser o segundo e agora ele é inicializado.
Notavelmente, essa segunda opção de inicialização (UEFI: Hitachi ...) não funcionou na primeira vez que instalei o Ubuntu. Eu tive que executar o Boot-Recovery-Disk para fazer com que a opção de inicialização "UEFI: Hitachi ..." funcionasse.
Ainda não sei o que é essa entrada do "ubuntu" na configuração do BIOS e no menu F12, ou porque ela não foi inicializada.