Comment 29 for bug 1630063

[By the way - until a fix reaches everybody, here is a script that I found online and modified to fit my system...
The commented-out for statement is as the script was found.]

#!/bin/bash

if [[ $EUID != 0 ]] ; then
  echo This must be run as root!
  exit 1
fi

#for xhci in /sys/bus/pci/drivers/?hci_hcd ; do
 for xhci in /sys/bus/pci/drivers/?hci-pci ; do

  if ! cd $xhci ; then
    echo Weird error. Failed to change directory to $xhci
    exit 1
  fi

  echo Resetting devices from $xhci...

  for i in ????:??:??.? ; do
    if [ $i == "????:??:??.?" ]; then
    echo “ignoring”
    continue
    fi
    echo “Device $xhci:$i”
    echo -n "$i" > unbind
    echo -n "$i" > bind
  done
done

-------------------------------

I also found PointerKeys very useful before I found the above script,
as one of the disconnected devices was my mouse!

http://en.wikipedia.org/wiki/Mouse_keys
http://en.linuxreviews.org/HOWTO_use_the_numeric_keyboard_keys_as_mouse_in_XOrg )

setxkbmap -option keypad:pointerkeys
or, to have it always available:
Make a file “ /etc/X11/xorg.conf.d/20-pointerkeys.conf” (need sudo to create file)
(now: “/usr/share/X11/xorg.conf.d/..”)
Put in it:
“
Section "InputClass"
    Identifier "PointerKeys"
    MatchIsKeyboard "yes"
    Option "XkbOptions" "keypad:pointerkeys"
EndSection
“
[de]activate with Shift-Numlock.

Hope this helps someone!