[Linaro-acpi] [PATCH v6 06/10] acpi: Add GTDT driver to kernel build system