Re: [Linaro-acpi] [PATCH v3 13/13] ACPI: ARM/ARM64: ensure the ACPI FACS global_lock is never used in HW reduced mode