Ошибка с xHCI (FreeBSD 9)

При подготовке к работе нового сервера (FreeBSD 9.1), была встречена следующая ошибка:

usb_alloc_device: device init 2 failed (USB_ERR_IOERROR, ignored)
ugen0.2: <Unknown> at usbus0 (disconnected)
uhub_reattach_port: could not allocate new device

При этом не работала ни USB-клавиатура, ни клавиатура в IPMI Console Redirection. Поиск в листах рассылки дал понять, что у FreeBSD 9 имеются проблемы со скоростным хост-контроллером USB 3.0 (xHCI). Материнская плата Supermicro X10SLM-F поддерживает три режима xHCI, при которых:

На сервере функционал USB 3.0 не требуется, достаточно режима USB 2.0, поэтому xHCI можно просто отключить в BIOS. Выключаем в BIOS xHCI

Отключили xHCI, после чего данная ошибка была ликвидирована и больше не возникала.