The DE USB driver only supports USB controllers that are directly connected to the main PCI bus of the system. USB controllers on USB-C or Thunderbolt docking stations don't have the System Management Interrupt line, and instead connect their USB controllers over the
PCIe. This design means that the BIOS can't implement transparent USB to PS/2 emulation in System Management Mode, which is what DE Legacy BIOS Preboot requires.
Some BIOS implementations provide emulation using standard interrupts, but the handlers for these implementations only operate in 16-bit real mode. DE Legacy BIOS preboot uses the 32-bit protected mode, and thus can't use the 16-bit real mode handlers.
We're
not planning to overhaul DE Legacy BIOS to support
PCIe or PCI-to-PCI bridging, and because Legacy BIOS is being deprecated in favor of UEFI firmware, it's not being considered currently.