pub const EHCI_NVIDIA_Tegra3: USB_CONTROLLER_FLAVOR;