Your version 2 worked to get me USB2 devices on the USB3 ports, but wake from sleep stopped working and I had to do a hard power down. I have a new DSDT that giacomoleopardo made for me from a clean DSDT that I extracted for him. It gives me the USB2 mounting on USB3 ports and does not break sleep. However, I still have an issue where my USB devices only show up at USB2 speeds following waking from sleep. As this is really small potatoes I am just going to tell my computer to never sleep and be done with it.
You can find the DSDT giacomoleopardo made for me a few threads away from this one if anyone is interested. Although I suspect my modded 1504 BIOS for the ASUS P8Z77-M Pro plus i5-2500K plus Zotac GT 640 Zone is not the most common combination so people may have some issues when using my DSDT like I had with yours.... seems to work for the most part, but it's that 1% that doesn't that makes oen reconsider.