usb.patch, with conflicts and some warnings fixed

[pintos-anon] / src / devices / usb_storage.h

void usb_storage_init (void);