To actually check you'd need to provide us with the USB controller name/version so we can compare against the Linux kernel, but a) I doubt you can find any devices advertised with those details, b) It would a very dull exercise to do the check (not many volunteers) and c) any cheap add-on board you find is going to use the cheapest commodity chips, which practically guarantees they will be widely used and supported.
So, get a board and be amazed that it just works. Probably