The hardware notes document, src/release/doc/en_US.ISO8859-1/hardware/article.xml, has no mention of USB XHCI controllers, though FreeBSD has supported USB 3.0 for a while now. This is true for both head/ and stable/10/.