I have almost the exact same config you have, meaning the same board and same case, but copying your ssdt in clover- acpi-patched didn't do the trick. I still had all the ports enabled. In the end, I used USBmap to make a kext as it seemed much quicker than going into the ssdt trying to figure...