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