[Linaro-acpi] [RFC PATCH 5/5] ACPI / timer: hack to test GIC in ACPI mode