Re: [Linaro-acpi] [PATCH 7/7] ACPI: use Linux as ACPI_OS_NAME for _OS on ARM64