[SeaBIOS] Re: [PATCH 1/1] usb-hid: Increase MAX_KBD_EVENT