[Linaro-acpi] [PATCH v3 11/13] ACPI: use of ACPI_FADT_32BIT_TIMER is not allowed in HW reduced mode