Re: [Linaro-acpi] [RFC PATCH] ACPI: ASL: Add GTDT table for exynos5440