Faça uma derradeira tentativa, usando esse(s) live-pendrive novos que fez aí, do Ubuntu 16.10 e do Xubuntu 16.04.1, carregue o sistema por eles, porém antes de iniciar edite a linha de boot, como sempre apague o quiet e o splash, entretanto, adicione o parâmetro:
clocksource=notsc
Observe que **não** é igual ao antes mencionado no post #31, aqui, ao contrário de lá, é a negação do tsc (time stamp counter), portanto, notsc
Se ainda estiver instalado o Ubuntu, experimente também nele instalado.
Depois, se não foi, experimente o mesmo parâmetro porém dessa forma:
clocksource=hpet
E finalmente a mesma coisa usando:
clocksource=acpi_pm
Em resumo, testar com o clocksource na cmdline de boot as três variáveis notsc hpet acpi_pm como parâmetro de kernel.