É difícil dizer o quanto podemos considerar isso como uma resposta, mas é uma solução. Eu decidi dar uma tentativa de instalação de 32 bits ISO, que funcionou. Infelizmente eu não sei dizer porque, porque eu não tenho ideia de como isso acontece. Eu instalei o sistema e tudo funciona bem. Quando tentei mais tarde (após a instalação) o ISO de 64 bits novamente, consegui carregá-lo. Eu também não sei porquê.
De qualquer forma, se você tiver algum problema parecido com isso, tente usar o ISO de instalação de 32 bits.