[SeaBIOS] [PATCH 1/1] usb-hid: add support for multiple input devices