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