Re: [Linaro-acpi] [PATCH V2 0/4] ACPI/ARM: AMBA bus ACPI module