Does anyone know of a method to reset the power of the Revolution Pi Core USB ports. For debugging, I need to power down / reset a USB peripherial attached to my Revolution Pi Core. So far I have tried: "echo 0x0 > /sys/devices/.../buspower" and "ioctl(file_handler(usb_dev), USB_RESET...