Un complément rapide:
Le sujet est discuté sur le forum US
http://fedoraforum.org/forum/showthread.php?t=28228
En certains cas, il est recommandé de laisser les fonctionnalités ACPI actives dans le BIOS mais de passer la commande acpi=ht (en lieu et place de acpi=off qui désactive les fonctionnalités ACPI du BIOS).
Le bug est signalé:
https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=132761