Re: [Linaro-acpi] [PATCH 06/12] ACPI: ensure several FADT fields are only used in HW reduced mode