A solução foi instalar um kernel não-PAE.
Por alguma estranha razão, o instalador do Debian 9 usou o kernel PAE para PCs recentes, mesmo que este seja um antigo que não tenha suporte PAE (ironicamente, os kernels não-PAE dizem "para PCs mais antigos" em sua descrição e neste caso não foi usado).
Para começar, inicializei o instalador no "Recovery Mode" com / dev / sda2 selecionado e / dev / sda1 montado como / boot.
Após acessar a linha de comando, atualizei o cache de pacotes ( sudo apt-get update
) e fiz uma pesquisa do apt-cache para os pacotes "linux-image" (também conhecidos como kernels):
apt-cache search linux-image
O resultado foi (reduzido):
linux-image-4.9.0-6-686 - Linux 4.9 for older PCs
linux-image-4.9.0-6-686-dbg - Debug symbols for linux-image-4.9.0-5-686
linux-image-4.9.0-6-686-pae - Linux 4.9 for modern PCs
linux-image-4.9.0-6-686-pae-dbg - Debug symbols for linux-image-4.9.0-5-686-pae
linux-image-4.9.0-6-686-rt-pae - Linux 4.9 for modern PCs, PREEMPT_RT
linux-image-4.9.0-6-686-rt-pae-dbg - Debug symbols for linux-image-4.9.0-5-686-rt-pae
Então eu instalei linux-image-4.9.0-6-686
para diagnosticar o que estava falhando, o resultado foi que o sistema inicializou e a tela de login apareceu.
Depois disso eu removi os kernels antigos e comecei a usar o sistema.