src/sys/dev/usb/ohci.c:ohci_resume()

最後に splx() してないけどバグ?
→とりあえず追加しておいた。