Re: USB keyboard with XHCI on x86?