No problem, have downloaded the beta and dumped the EC again. To replicate the issue with TB3 I'm fairly sure you will need the TB3 extension card, too. Unfortunately, I do not have this to hand. The problem is possibly related, however, AIDA isn't required to reproduce the interrupt on ACPI in the instances reported.
ecdump.txt