For information, some Ubuntu users reported that upgrading the BIOS fixed the problem:
https://bugs.launchpad.net/ubuntu/+source/acpi/+bug/971061
For information, some Ubuntu users reported that upgrading the BIOS fixed the problem:
https:/ /bugs.launchpad .net/ubuntu/ +source/ acpi/+bug/ 971061