Depois de um dia com isso, encontrei algumas soluções alternativas, com resultados variados.
- Trocar acpi = off por nolapic permite que o sistema inicialize e desligue, até que eu notei que estava operando em apenas um núcleo.
- Desativar "MPS Table Mode" no BIOS [*] tem o mesmo resultado que a opção 1, mas com menos conversas do kernel.
- Eu tentei o disco de instalação do Debian Jessie (antigo), entrei no modo de recuperação para ativar um shell, e nenhum parâmetro de kernel foi necessário. / proc / cpuinfo mostrou os dois núcleos e o poweroff fez o necessário.
- Aparentemente, o problema principal foi corrigido no kernel 4.13. Eu não tive a oportunidade de tentar isso ainda, mas esta pode ser a minha opção preferida.
[*] link