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