After a kexec reboot I tried (over ssh) removing and modprobing the relevant modules: rmmod xhci_pci xhci_hcd usbcore modprobe xhci_pci xhci_hcd usbcore The devices did not reappear, but this led to a long trace in dmesg which I'll attach.