“Does the XCHI host controller support USB3.1 Gen 2? And if it does, what chip is Dell using the ASMedia or Intel?”