Re: [Linaro-acpi] [PATCH 00/10] Change ACPI ASL licenses to BSD