BUG REPORT: Preboot authentication with eTokens doesn't work with USB 3.0 (xHCI) ports.