Re: About the new ACPI HID for supporting ARM CoreSight ETE