[Bug 409513] Kernel ACPI messages: Processor device not present