[SeaBIOS] [PATCH] Support multiple USB HID keyboards/mice