Ottimo...tutto ok
non ti serve nessun dsdt, ci pensa ssdt_kabylake.. :)
la ACPI in orgia sono le tue estratte dal bios, puoi lasciarle li come anche svuotare il contenuto di orign ... non cambia nulla
Le porte rimarranno così mappate, quindi niente problemi di patch, kext etc...
Personalmente l'ho fatto dai tempi di 10.11, quando iniziò il problema del limite di porte e non ho mai avuto necessità di usare nessuna patch
Si potrebbe fare un ultima miglioria ossia definire meglio le porte usb, perché attualmente sono viste tutte come interne
Se vuoi, è una cosa veloce da fare