Re: [PATCH V3 00/10] coresight: Move remaining AMBA ACPI devices into platform driver