[OpenBIOS] [PATCH] Add USB OHCI + HID driver