[PATCH] USB: fix bug in ohci-hcd.c ohci_restart()