[Bug 527413] New: kernel ACPI bug