I am aware of the fact that i don´t need the GenericUSBXHCI.kext for this board. Nevertheless USB2 & USB3 seems to work ok and with it a before frozen CPU frequency now goes from 1,2 GHz to 4,3 GHz with steps in-between. After playing around with it for a day
I can say it is definitely not working fully, even with no load at all it is hopping around between frequencies quite a lot. But under load it works correct and under no load it is saving some watts and lowering the temps a little. It is interesting why a USB.kext is doing such a thing.