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