Re: [Linaro-acpi] [RFC PATCH 0/5] Have the kernel identify itself properly to ACPI