Eu não sei os detalhes de por que isso funcionou, mas eu reiniciei o BIOS a partir das opções de inicialização lá, e pude então instalar este ISO. Eu realmente não me lembro de alguma vez ter modificado o BIOS, mas talvez isso tenha ocorrido em algum momento.