Restoring USB3 on El Capitan

Anyone have any pointers on making the USB3.0 ports work on El Capitan? They worked just fine on 10.10 for me, but as soon as I upgraded to 10.11, they stopped working completely. I saw someone referred to this topic, but it doesn't make sense to me: http://www.insanelymac.com/forum/topic/306777-guide-usb-fix-el-capitan-1011/

My setup is a i7 4770K on Gigabyte Z87X-UD4H. Thanks much.