[Bug 527413] kernel ACPI bug