[Linaro-acpi] ACPI enabled kernel