Replacing the USB3 card is on the agenda but I'm looking for a workaround in the interim.
I'm assuming you have good reasons to believe that changing the controller will indeed eliminate the errors. If not, it could be an expensive exercise that doesn't solve the problem.
If you think it's a kernel bug, you should report it. It could of course be the hardware. I also assume you've searched bug trackers (starting from your distribution's bug tracker), which is always worthwhile and sometimes delivers.
This is an old prerelease 0.96a spec card, not a 1.0 spec card. I've heard of a few quirks and problems with cards that don't adhere fully to the final USB3 specification. I doubt it will be a kernel 'bug' as such, but working around the problem in the kernel is going to be harder and more expensive than simply changing the card, even if it only took me an hour to patch it. James