#9 USB3.0 support

[Bruse Geng]

Currently, VHCI cannot support usb3.0 devices. Maybe a new USB HCD should be added to VHCI. Also as VHCI support 31 ports at most now, we should preserve some ports for USB3.0 hub.