Thanks for the advice! I have searched google, and particularly osx86.com but that got me nowhere. I just want USB2.0 to function on the 6 USB3.0 ports I have. I will try the file you sent me.
======== EDIT ========
THANK YOU SO MUCH! I put in the kext and the USB ports work FLAWLESSLY. I am not sure if USB 3.0 speeds are working because I don't have any USB 3.0 devices, but for my VIA VL800 chip, this kext enabled the basic functions of my USB ports. Thank you so much. There are many people with the same problem, so you should probably make a post for working VIA VL800 USB kext. Thanks!