Re: [SeaBIOS] [RFC PATCH 2/2] serial console, input