The problem reported as bug 631597 was worked around by booting with "processor.nocst=1" parameter (solution was found in https://bugzilla.redhat.com/show_bug.cgi?id=727865 thread).
Does it solve also 63274 and 630031 bugs?

This is only a workaround. The real problem is probably somewhere in the ACPI BIOS.
--
Regards, WZab




--
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 4E5DDD37.5070405@elka.pw.edu.pl">http://lists.debian.org/4E5DDD37.5070405@elka.pw.edu.pl