pub const EHCI_NVIDIA_Tegra2: USB_CONTROLLER_FLAVOR;