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