[Linaro-acpi] [PATCH V1 0/2] Add support for ThunderX SoCs ACPI Host Controllers