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