Added modifications to make usbboot work for booting Barrelfish on the PandaBoard
Reduced libusb verbosity.