I can confirm this. Passing "acpi=off" at boot solves the problem, however this makes the cpu run with only one core.
I can confirm this.
Passing "acpi=off" at boot solves the problem, however this makes the cpu run with only one core.