[SeaBIOS] Re: [PATCH] kbd: Add option for keyboard polling