Re: [Linaro-acpi] [PATCH v4 3/5] ACPI: HW reduced mode does not allow use of the FADT sci_interrupt field