Running the same branch, with rebase code; commit ID is 83c7484d5c and a super high speed device is attached to one of the usb 3.0 ports:
SeaBIOS (version rel-1.7.4-26-g83c7484-20131231_152015-debian) init usb XHCI init on dev 00:10.0: regs @ 0xf0148000, 4 ports, 32 slots, 32 byte contexts XHCI extcap 0x1 @ f0148500 XHCI protocol USB 3.00, 2 ports (offset 1), def 0 XHCI protocol USB 2.00, 2 ports (offset 3), def 0 configure_xhci: resetting xhci_hub_detect port #1: 0x000002a0, powered, pls 5, speed 0 [ - ] xhci_hub_detect port #2: 0x000002a0, powered, pls 5, speed 0 [ - ] xhci_hub_detect port #3: 0x000002a0, powered, pls 5, speed 0 [ - ] xhci_hub_detect port #4: 0x000202e1, powered, pls 7, speed 0 [ - ] xhci_hub_reset port #4: 0x000202e1, powered, pls 7, speed 0 [ - ] XHCI port #4: 0x00200e03, powered, enabled, pls 0, speed 3 [High] set_address 0x000ee6b0 xhci_alloc_pipe: usbdev 0xbf1025d0, ring 0xbf11eb00, slotid 0, epid 1 xhci_cmd_enable_slot: xhci_trb_queue: ring 0xbf11ed00 [nidx 1, len 0] xhci_process_events: status change port #4 xhci_process_events: status change port #2 xhci_process_events: status change port #4 xhci_process_events: ring 0xbf11ed00 [trb 0xbf11ed00, evt 0xbf11ee00, type 33, eidx 1, cc 1] xhci_alloc_pipe: enable slot: got slotid 1 xhci_cmd_address_device: slotid 1 xhci_trb_queue: ring 0xbf11ed00 [nidx 2, len 0] WARNING - Timeout at xhci_event_wait:394! xhci_alloc_pipe: address device: failed (cc -1) XHCI no devices found WARNING - Timeout at wait_bit:484! XHCI init on dev 00:10.1: regs @ 0xf014a000, 4 ports, 32 slots, 32 byte contexts XHCI extcap 0x1 @ f014a500 XHCI protocol USB 3.00, 2 ports (offset 1), def 0 XHCI protocol USB 2.00, 2 ports (offset 3), def 0 configure_xhci: resetting xhci_hub_detect port #1: 0x000002a0, powered, pls 5, speed 0 [ - ] xhci_hub_detect port #2: 0x000002a0, powered, pls 5, speed 0 [ - ] xhci_hub_detect port #3: 0x000002a0, powered, pls 5, speed 0 [ - ] xhci_hub_detect port #4: 0x000002a0, powered, pls 5, speed 0 [ - ] XHCI no devices found EHCI init on dev 00:12.2 (regs=0xf014f820) set_address 0xbf1026c0 ehci_alloc_async_pipe 0xbf1026c0 0 ehci_control 0xbf102550 (dir=0 cmd=8 data=0) ehci_alloc_async_pipe 0xbf1026c0 0 config_usb: 0xbf102550 ehci_control 0xbf102550 (dir=128 cmd=8 data=8) device rev=0200 cls=00 sub=00 proto=00 size=40 ehci_alloc_async_pipe 0xbf1026c0 0 ehci_control 0xbf102550 (dir=128 cmd=8 data=9) ehci_control 0xbf102550 (dir=128 cmd=8 data=46) ehci_free_pipes 0xbf1026c0 EHCI init on dev 00:13.2 (regs=0xf014f920) ehci_free_pipes 0xbf1026c0 OHCI init on dev 00:12.0 (regs=0xf014c000) set_address 0xbf1026c0 ohci_alloc_async_pipe 0xbf1026c0 ohci_control 0xbf1025c0 ohci_alloc_async_pipe 0xbf1026c0 config_usb: 0xbf1025c0 ohci_control 0xbf1025c0 device rev=0110 cls=00 sub=00 proto=00 size=08 ohci_alloc_async_pipe 0xbf1026c0 ohci_control 0xbf1025c0 ohci_control 0xbf1025c0 ohci_control 0xbf1025c0 usb_hid_setup 0xbf1025c0 ohci_control 0xbf1025c0 ohci_control 0xbf1025c0 ohci_alloc_intr_pipe 0xbf1026c0 3 USB keyboard initialized ohci_free_pipes 0xbf1026c0 OHCI init on dev 00:13.0 (regs=0xf014d000) ohci_free_pipes 0xbf102610 OHCI init on dev 00:14.5 (regs=0xf014e000) ohci_free_pipes 0xbf1025c0