Prova cosi
il TableLength ( 2592 nel mio caso )
prendilo dal tuo SSDT originale " SSDT-12-xh_adls3.aml " che hai estratto senza le modifiche apportate , pulito x intenderci
carica il kext pure Utbmap forse e' piu' semplice riportare le porte che hai mappato sull SSDT di Lorys non serve il lenght
li hai definito i connettori usb3, usb2 ,interne,tipo-c ... ? Perche' nell SSDT che hai postato hai definito solo 0x03 cioe' usb3 e sono piu' di 15 porte attive