Many thanks again for your help UtterDisbelief,
So yes, they are old, and that is why I'm trying to build my custom SSDT, but right now those are the only SSDTs that are in some way able to bring up the two USB2.0 controllers. If I remove them, or I boot with the SSDT I created, I lose one of...