Para contornar este problema, você precisará definir o clocksource para hpet. Para fazer isso, deixe o grub carregar a tela e aperte a tecla tab. Adicione isto ao final do comando: clocksource=hpet
Eu tentei usar clocksource=acpi_pm
e clocksource=xen
, mas ambos falharam. Só usando o hpet consegui concluir a instalação.