Re: [Linaro-acpi] ACPI enabled kernel