I set the saucy confirmation to done because a real verification is hard there. ISO images are usually not re-created after release and even less likely with a kernel still in proposed. So I just checked that the deb packages for 3.11.0-15.23 contain no ohci-pci module and the contained config has "CONFIG_USB_OHCI_HCD_PCI".
I set the saucy confirmation to done because a real verification is hard there. ISO images are usually not re-created after release and even less likely with a kernel still in proposed. So I just checked that the deb packages for 3.11.0-15.23 contain no ohci-pci module and the contained config has "CONFIG_ USB_OHCI_ HCD_PCI" .