I have, when I do, the HS ports are the only ones showing, the SS ports vanish, even though they are in th SSDT. I re-enabled the patch to confirm their addresses.
Just found out that, if the USB-C port works, it doesn’t power my monitor, even in Windows, so I’m not sure it works. Getting USB3...